PredicateAbstractionLatticeTests
Tests
Test |
Duration |
Result |
testCreateSignLatticeWithPredicates() |
3.096s |
passed |
testToAndFromString() |
3.001s |
passed |
testTrivialPredicatesLattice() |
0.001s |
passed |
Standard output
608241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
608241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.8ns
608241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
611227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s
611243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
611243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
611243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key
611243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.1ns
611243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
614323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s
614339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key
614339 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns