PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.581s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.783s passed
testToAndFromString() 2.798s passed
testTrivialPredicatesLattice() 0s passed

Standard output

511175     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
511175     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.3ns 
511175     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
513962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 
513978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
513978     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns 
513978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
513978     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.3ns 
513978     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
516627     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 
516754     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
516755     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.3ns