PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.461s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.226s passed
testToAndFromString() 4.235s passed
testTrivialPredicatesLattice() 0s passed

Standard output

743847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
743847     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns 
743847     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
748067     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 
748083     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
748083     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns 
748099     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
748099     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 
748099     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
752278     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 
752294     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
752310     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns