PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.176s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.086s passed
testToAndFromString() 5.090s passed
testTrivialPredicatesLattice() 0s passed

Standard output

885084     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
885084     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 137ns 
885084     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
890129     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 
890160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
890160     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
890160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
890160     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.1ns 
890160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
895230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 
895246     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
895246     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns