PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.444s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.628s passed
testToAndFromString() 3.816s passed
testTrivialPredicatesLattice() 0s passed

Standard output

686389     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
686389     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.4ns 
686404     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
690189     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 
690205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
690205     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns 
690205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
690205     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.4ns 
690205     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
693817     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 
693833     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
693833     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns