Fix PartialSmt
stale proofs not resulting in error
#306
Job | Run time |
---|---|
3m 27s | |
3m 30s | |
3m 40s | |
3m 47s | |
14m 24s |
PartialSmt
stale proofs not resulting in error
#306
Job | Run time |
---|---|
3m 27s | |
3m 30s | |
3m 40s | |
3m 47s | |
14m 24s |