PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.034s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.456s passed
testToAndFromString() 3.578s passed
testTrivialPredicatesLattice() 0s passed

Standard output

634685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
634685     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 435ns 
634685     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
638219     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 
638235     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
638250     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns 
638250     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
638250     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.8ns 
638250     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
641674     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
641690     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
641690     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns