PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.424s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.736s passed
testToAndFromString() 3.688s passed
testTrivialPredicatesLattice() 0s passed

Standard output

674536     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
674536     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.1ns 
674552     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
678194     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 
678210     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
678226     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns 
678226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
678226     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.2ns 
678226     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
681946     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 
681962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
681962     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns