informalsystems / informalsystems/FuzzMo
[model generation] CTF-02 is missing I/O examples and needs better function NL descriptions
Open
- Dominant language
- Rust
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
## Current state
CTF-02 is currently missing I/O examples.
Its natural language descriptions of functions also need to be updated to be more in line with other contracts (CTF-01, CTF-05, CTF-07).
## The problem
CTF-02 can not be used as a generation target while I/O examples are missing.
It is also a worse source of in-context examples due to this missing data.
Contributor guide
Assessment
This issue has not been assessed yet.