PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.227s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.099s passed
testToAndFromString() 5.128s passed
testTrivialPredicatesLattice() 0s passed

Standard output

894828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
894828     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 
894828     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
899911     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
899942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
899942     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns 
899942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
899942     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns 
899942     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
905010     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 
905041     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
905041     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns