informalsystems

informalsystems/FuzzMo

Automatically generate Quint models and adapters for model-based testing of CosmWasm smart contracts

Stars: 0
Forks: 0
Open beginner issues: 0
Indexed issues: 8

Dominant language: Rust
License: MIT
Last GitHub push: Jul 26, 2024
Latest indexed: Sep 17, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Open All

8 open issues indexed

[model generation] Add `DENOM` information in metadata argument for pure functions Open

informalsystems/FuzzMo#4 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[model generation] Remove bounded integers dependency Open

informalsystems/FuzzMo#6 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[model generation] Handle bank transfers outside of the pure functions Open

informalsystems/FuzzMo#7 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[model generation] Remove the `metadata` argument from pure functions Open

informalsystems/FuzzMo#8 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[model generation] Make pure functions use `mustPay` and bank utils that mimic CosmWasm Open

informalsystems/FuzzMo#9 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[adapter generation] Align in-context examples & generation targets between model and adapter generation Open

informalsystems/FuzzMo#10 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[adapter generation] Adapter generation is not robust in terms of project file structure Open

informalsystems/FuzzMo#11 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026
[model generation] CTF-02 is missing I/O examples and needs better function NL descriptions Open

informalsystems/FuzzMo#12 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 17, 2026

A short digest of beginner-friendly GitHub issues.