Fix PartialSmt
stale proofs not resulting in error
#221
Job | Run time |
---|---|
34s | |
43s | |
1m 17s |
PartialSmt
stale proofs not resulting in error
#221
Job | Run time |
---|---|
34s | |
43s | |
1m 17s |