PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.133s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.073s passed
testToAndFromString() 3.060s passed
testTrivialPredicatesLattice() 0s passed

Standard output

575888     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
575888     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 238ns 
575889     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
578933     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 
578945     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
578946     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 56.1ns 
578948     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
578948     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 57.2ns 
578948     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
582004     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
582017     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
582018     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.5ns