PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.472s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.284s passed
testToAndFromString() 3.188s passed
testTrivialPredicatesLattice() 0s passed

Standard output

595771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
595771     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.7ns 
595771     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
598945     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 
598960     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
598960     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns 
598976     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
598976     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 353.3ns 
598976     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
602228     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 
602244     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
602244     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns