PredicateAbstractionLatticeTests

3

tests

0

failures

0

ignored

6.098s

duration

100%

successful

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