PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.001s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.603s passed
testToAndFromString() 4.398s passed
testTrivialPredicatesLattice() 0s passed

Standard output

805787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
805787     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns 
805787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
810172     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 
810187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
810187     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 69.8ns 
810187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
810187     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 
810187     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
814774     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 
814790     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
814790     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4.4ns