PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.185s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.111s passed
testToAndFromString() 3.074s passed
testTrivialPredicatesLattice() 0s passed

Standard output

574053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
574053     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.2ns 
574053     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
577109     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 
577123     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
577124     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 51.8ns 
577126     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
577126     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 75ns 
577126     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
580220     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 
580234     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
580235     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 3.6ns