Commit bae235f
committed
increase fuzz_reset_smt.rs iterations to 1000
1 parent dd63c09 commit bae235f
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
361 | 361 | | |
362 | 362 | | |
363 | 363 | | |
364 | | - | |
| 364 | + | |
365 | 365 | | |
0 commit comments