PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.431s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.284s passed
testToAndFromString() 3.146s passed
testTrivialPredicatesLattice() 0.001s passed

Standard output

590767     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
590767     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.6ns 
590768     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
593892     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 
593910     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
593911     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns 
593913     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
593914     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns 
593914     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
597173     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
597193     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
597194     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns