Add option witness.invariant.all-locals to only print locals definitely in scope
#1366
| Job | Run time |
|---|---|
| 10m 56s | |
| 10m 56s |
witness.invariant.all-locals to only print locals definitely in scope
#1366
| Job | Run time |
|---|---|
| 10m 56s | |
| 10m 56s |