PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.450s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.160s passed
testToAndFromString() 4.290s passed
testTrivialPredicatesLattice() 0s passed

Standard output

741905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
741905     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns 
741905     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
746165     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 
746181     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
746181     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.5ns 
746196     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
746196     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.9ns 
746196     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
750325     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 
750341     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
750341     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns