PredicateAbstractionLatticeTests
Tests
| Test |
Duration |
Result |
| testCreateSignLatticeWithPredicates() |
4.218s |
passed |
| testToAndFromString() |
4.357s |
passed |
| testTrivialPredicatesLattice() |
0s |
passed |
Standard output
749022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
749022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.3ns
749022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
753350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s
753365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
753365 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.9ns
753365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
753365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.3ns
753381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
757568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s
757583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
757583 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 14.8ns