PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.739s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.517s passed
testToAndFromString() 3.222s passed
testTrivialPredicatesLattice() 0s passed

Standard output

626618     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
626618     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.6ns 
626618     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
629825     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
629841     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
629841     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns 
629841     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
629841     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.9ns 
629856     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
633326     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
633342     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
633358     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns