PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.078s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.531s passed
testToAndFromString() 3.547s passed
testTrivialPredicatesLattice() 0s passed

Standard output

626051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
626051     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.6ns 
626051     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
629577     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 
629592     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
629594     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
629597     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
629597     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.3ns 
629598     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
633108     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 
633124     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
633125     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns