PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.935s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.943s passed
testToAndFromString() 2.992s passed
testTrivialPredicatesLattice() 0s passed

Standard output

572129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
572129     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.3ns 
572129     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
575092     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 
575123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
575123     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
575123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
575123     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.9ns 
575123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
578034     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 
578049     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
578065     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns