PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.860s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.864s passed
testToAndFromString() 3.996s passed
testTrivialPredicatesLattice() 0s passed

Standard output

703041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
703041     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139ns 
703041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
707011     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 
707027     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
707042     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
707042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
707042     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 468.4ns 
707042     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
710874     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 
710906     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
710906     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns