Fix PartialSmt
stale proofs not resulting in error
#305
Job | Run time |
---|---|
3m 42s | |
3m 28s | |
3m 44s | |
3m 36s | |
14m 30s |
PartialSmt
stale proofs not resulting in error
#305
Job | Run time |
---|---|
3m 42s | |
3m 28s | |
3m 44s | |
3m 36s | |
14m 30s |