PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.026s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.548s passed
testToAndFromString() 3.478s passed
testTrivialPredicatesLattice() 0s passed

Standard output

618501     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
618501     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.3ns 
618502     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
621958     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 
621975     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
621977     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
621978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
621978     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.4ns 
621979     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
625495     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 
625512     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
625524     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns