PredicateAbstractionLatticeTests
Tests
Test |
Duration |
Result |
testCreateSignLatticeWithPredicates() |
3.301s |
passed |
testToAndFromString() |
3.263s |
passed |
testTrivialPredicatesLattice() |
0s |
passed |
Standard output
608471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key
608471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.2ns
608471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
611713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s
611730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
611731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
611733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key
611733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.5ns
611734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
615013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
615027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
615028 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.6ns