PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.164s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.050s passed
testToAndFromString() 3.114s passed
testTrivialPredicatesLattice() 0s passed

Standard output

559912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
559912     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.1ns 
559912     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
563010     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
563022     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
563023     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
563025     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
563025     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.7ns 
563025     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
566050     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 
566063     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
566072     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns