added comment on why reset state only if res is modified (#634) #2293
Annotations
8 warnings
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
verifier-report
Expired
|
11.3 KB |
|