PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.863s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.831s passed
testToAndFromString() 4.032s passed
testTrivialPredicatesLattice() 0s passed

Standard output

698730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
698730     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.8ns 
698730     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
702732     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 
702748     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
702748     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
702763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
702763     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 120ns 
702763     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
706579     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 
706594     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
706594     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns