PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.987s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.376s passed
testToAndFromString() 3.610s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

696537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
696537     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.1ns 
696537     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
700132     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 
700148     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
700148     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 62.8ns 
700148     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
700148     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.3ns 
700148     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
703493     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
703508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
703508     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.1ns