PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.763s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.339s passed
testToAndFromString() 3.424s passed
testTrivialPredicatesLattice() 0s passed

Standard output

647477     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
647477     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.6ns 
647477     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
650870     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 
650886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
650886     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns 
650886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
650886     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns 
650886     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
654210     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 
654225     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
654225     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns