Fix PartialSmt
stale proofs not resulting in error
#306
Job | Run time |
---|---|
12s | |
29s | |
42s | |
4s | |
1m 27s |
PartialSmt
stale proofs not resulting in error
#306
Job | Run time |
---|---|
12s | |
29s | |
42s | |
4s | |
1m 27s |