PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.019s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.972s passed
testToAndFromString() 4.047s passed
testTrivialPredicatesLattice() 0s passed

Standard output

731122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
731122     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.9ns 
731122     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
735156     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 
735171     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
735171     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns 
735171     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
735171     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.5ns 
735171     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
739111     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 
739127     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
739143     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns