PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.146s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.832s passed
testToAndFromString() 5.314s passed
testTrivialPredicatesLattice() 0s passed

Standard output

814135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
814135     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.6ns 
814135     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
819419     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 
819450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
819450     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
819450     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
819450     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.7ns 
819466     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
824266     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 
824282     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
824282     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns