PredicateAbstractionLatticeTests

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

tests
0

failures
0

ignored
10.712s

duration
100%

successful

Tests

Test Duration Result
testCreateSignLatticeWithPredicates() 5.324s passed
testToAndFromString() 5.388s passed
testTrivialPredicatesLattice() 0s passed

Standard output

959808     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
959808     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.5ns 
959808     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
965167     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 
965198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
965198     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns 
965198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\merge\dummy.key 
965198     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 170ns 
965198     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
970491     DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 
970522     INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Replaying proof dummy.key 
970522     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns