PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.436s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.281s passed
testToAndFromString() 5.155s passed
testTrivialPredicatesLattice() 0s passed

Standard output

918885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
918885     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.8ns 
918885     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
924011     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 
924042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
924042     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13.6ns 
924042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
924042     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 508ns 
924042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
929291     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 
929307     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
929307     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.1ns