PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.449s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.307s passed
testToAndFromString() 3.142s passed
testTrivialPredicatesLattice() 0s passed

Standard output

544449     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
544449     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.1ns 
544450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
547574     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
547588     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
547589     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns 
547591     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
547591     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.4ns 
547591     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
550881     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 
550894     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
550896     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns