PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.313s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.598s passed
testToAndFromString() 2.715s passed
testTrivialPredicatesLattice() 0s passed

Standard output

508039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
508039     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.6ns 
508039     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
510744     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
510760     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
510760     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.8ns 
510760     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
510760     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.4ns 
510760     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
513339     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 
513354     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
513354     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns