PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.404s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.238s passed
testToAndFromString() 4.166s passed
testTrivialPredicatesLattice() 0s passed

Standard output

726955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
726955     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.8ns 
726955     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
731106     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
731122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
731122     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
731122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
731122     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 
731122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
735344     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 
735360     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
735360     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns