PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.564s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.774s passed
testToAndFromString() 2.790s passed
testTrivialPredicatesLattice() 0s passed

Standard output

520513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
520513     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.4ns 
520513     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
523281     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 
523297     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
523297     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
523297     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
523297     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.6ns 
523313     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
526064     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 
526079     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
526079     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns