PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
11.676s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.060s passed
testToAndFromString() 6.616s passed
testTrivialPredicatesLattice() 0s passed

Standard output

914112     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
914112     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.6ns 
914127     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
920698     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 6.58s 
920730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
920730     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
920730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
920730     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 106ns 
920730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
925758     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 
925790     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
925790     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns