PredicateAbstractionLatticeTests

all > de.uka.ilkd.key.rule.merge > PredicateAbstractionLatticeTests
3

tests
0

failures
0

ignored
7.204s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.829s passed
testToAndFromString() 3.375s passed
testTrivialPredicatesLattice() 0s passed

Standard output

605256     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
605256     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.9ns 
605256     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
608602     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
608617     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
608617     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
608633     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
608633     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 409ns 
608633     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
612431     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 
612462     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
612462     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns