PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.944s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.473s passed
testToAndFromString() 3.471s passed
testTrivialPredicatesLattice() 0s passed

Standard output

613267     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
613267     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.7ns 
613267     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
616722     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 
616738     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
616738     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns 
616753     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
616753     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.4ns 
616753     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
620177     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 
620192     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
620208     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns