PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.389s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.274s passed
testToAndFromString() 3.115s passed
testTrivialPredicatesLattice() 0s passed

Standard output

595525     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
595525     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.3ns 
595525     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
598627     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 
598643     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
598643     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns 
598643     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
598643     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.1ns 
598643     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
601901     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 
601917     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
601917     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 22.7ns