PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
7.394s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.969s passed
testToAndFromString() 3.425s passed
testTrivialPredicatesLattice() 0s passed

Standard output

639032     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
639032     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 98.6ns 
639047     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
642427     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
642458     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
642458     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
642458     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
642458     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 360.9ns 
642458     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
646396     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 
646412     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
646412     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns