PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.572s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.209s passed
testToAndFromString() 4.363s passed
testTrivialPredicatesLattice() 0s passed

Standard output

737881     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
737881     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 342.3ns 
737881     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
742230     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.35s 
742245     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
742245     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns 
742261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
742261     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 195ns 
742261     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
746438     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 
746454     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
746454     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns