PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
9.456s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.822s passed
testToAndFromString() 4.634s passed
testTrivialPredicatesLattice() 0s passed

Standard output

851535     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
851535     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 417.6ns 
851536     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
856149     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 
856166     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
856167     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns 
856169     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
856169     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.9ns 
856174     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
860949     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.78s 
860974     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
860987     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns