PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
6.364s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 3.236s passed
testToAndFromString() 3.128s passed
testTrivialPredicatesLattice() 0s passed

Standard output

529819     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
529819     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 
529819     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
532899     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 
532915     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
532930     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns 
532962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
532962     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 180ns 
532962     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
536151     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 
536182     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
536182     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns