PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.317s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.115s passed
testToAndFromString() 5.202s passed
testTrivialPredicatesLattice() 0s passed

Standard output

921848     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
921848     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.7ns 
921849     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
927028     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 
927046     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
927048     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 16.2ns 
927050     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
927050     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns 
927051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
932141     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 
932160     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
932162     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns