ConsenSysDiligence / ConsenSysDiligence/scribble
Avoid generating ghost state declarations for quantifiers unless quantifiers are used
Open
enhancement
- Dominant language
- TypeScript
- Stars
- 334
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
Currently, ghost state declarations (e.g., for tracking map keys) are generated regardless of whether there is a quantifier that quantifies over the corresponding map. It would be great to only generate the declarations on demand.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.