PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.895s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.426s passed
testToAndFromString() 3.469s passed
testTrivialPredicatesLattice() 0s passed

Standard output

632508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
632508     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 
632508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
635946     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 
635978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
635978     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
635978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
635978     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.5ns 
635978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
639388     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 
639404     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
639404     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns