PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
8.815s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 4.456s passed
testToAndFromString() 4.359s passed
testTrivialPredicatesLattice() 0s passed

Standard output

781001     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
781001     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.6ns 
781001     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
785346     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 
785362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
785362     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
785362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
785362     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.6ns 
785362     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
789802     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 
789818     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
789818     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.8ns