PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.986s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.388s passed
testToAndFromString() 3.598s passed
testTrivialPredicatesLattice() 0s passed

Standard output

624262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
624262     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.4ns 
624262     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
627838     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 
627854     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
627857     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
627858     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
627859     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.1ns 
627859     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
631224     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 
631243     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
631244     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns