PredicateAbstractionLatticeTests

3

tests

0

failures

0

ignored

6.564s

duration

100%

successful

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