Fix PartialSmt
stale proofs not resulting in error
#220
Job | Run time |
---|---|
36s | |
44s | |
1m 20s |
PartialSmt
stale proofs not resulting in error
#220
Job | Run time |
---|---|
36s | |
44s | |
1m 20s |