PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.951s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.504s passed
testToAndFromString() 3.447s passed
testTrivialPredicatesLattice() 0s passed

Standard output

619841     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
619842     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.8ns 
619842     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
623268     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
623282     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
623285     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 25.1ns 
623287     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
623288     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75.9ns 
623288     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
626770     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 
626787     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
626789     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns