PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.999s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.259s passed
testToAndFromString() 3.740s passed
testTrivialPredicatesLattice() 0s passed

Standard output

659266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
659266     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 143ns 
659266     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
662977     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 
662993     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
662993     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns 
663008     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
663008     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 
663008     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
666252     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 
666267     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
666267     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns