PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.608s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.361s passed
testToAndFromString() 3.247s passed
testTrivialPredicatesLattice() 0s passed

Standard output

626991     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
626991     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 128ns 
626991     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
630224     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 
630239     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
630239     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 48.9ns 
630255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
630255     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118ns 
630255     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
633584     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 
633600     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
633600     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 4ns