PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.324s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.091s passed
testToAndFromString() 3.233s passed
testTrivialPredicatesLattice() 0s passed

Standard output

565140     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
565141     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.1ns 
565141     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
568355     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 
568370     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
568371     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns 
568372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
568372     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.2ns 
568373     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
571445     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 
571461     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
571462     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns