PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.978s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.834s passed
testToAndFromString() 3.144s passed
testTrivialPredicatesLattice() 0s passed

Standard output

591652     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
591652     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 141ns 
591652     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
594782     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
594797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
594797     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
594797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
594797     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 368.8ns 
594797     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
598616     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 
598631     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
598631     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns