PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.722s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.409s passed
testToAndFromString() 3.313s passed
testTrivialPredicatesLattice() 0s passed

Standard output

636580     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
636580     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.9ns 
636580     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
639879     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 
639895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
639895     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns 
639895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
639895     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.4ns 
639895     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
643288     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
643304     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
643304     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns