PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
5.838s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 2.929s passed
testToAndFromString() 2.909s passed
testTrivialPredicatesLattice() 0s passed

Standard output

562463     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
562463     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 72.5ns 
562464     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
565357     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 
565369     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
565370     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
565372     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/merge/dummy.key 
565372     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 67ns 
565373     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
568284     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 2.91s 
568297     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
568298     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns