informalsystems / informalsystems/FuzzMo
[model generation] Remove bounded integers dependency
Open
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
## Current state
CTF-02 relies on the bounded integers utils library (`/data/model_generation/quint_examples/lib/BoundedUInt.qnt`).
## Proposed solution
Just use the native Quint `int` type.
Contributor guide
Assessment
This issue has not been assessed yet.