PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.598s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.872s passed
testToAndFromString() 2.726s passed
testTrivialPredicatesLattice() 0s passed

Standard output

502222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
502222     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.6ns 
502222     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
504927     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
504943     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
504943     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns 
504943     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
504943     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.3ns 
504943     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
507788     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 
507804     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
507820     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns