PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.585s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.731s passed
testToAndFromString() 2.854s passed
testTrivialPredicatesLattice() 0s passed

Standard output

507560     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
507560     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 386.7ns 
507560     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
510394     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s 
510409     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
510409     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns 
510409     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
510409     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.9ns 
510409     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
513130     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 
513146     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
513146     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns