PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.483s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.772s passed
testToAndFromString() 2.711s passed
testTrivialPredicatesLattice() 0s passed

Standard output

482508     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
482508     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 56.8ns 
482509     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
485206     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 
485217     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
485218     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
485220     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
485220     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 51.3ns 
485220     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
487966     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 
487980     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
487988     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns