PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.074s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.658s passed
testToAndFromString() 3.416s passed
testTrivialPredicatesLattice() 0s passed

Standard output

571041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
571041     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.4ns 
571041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
574417     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 
574433     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
574433     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 20.2ns 
574449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
574449     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.3ns 
574449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
578075     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 
578091     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
578091     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns