PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.652s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.284s passed
testToAndFromString() 3.368s passed
testTrivialPredicatesLattice() 0s passed

Standard output

613435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
613435     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 127ns 
613435     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
616789     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 
616804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
616804     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
616804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
616804     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.8ns 
616804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
620072     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
620088     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
620088     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns