Package de.uka.ilkd.key.proof.io.consistency

3

tests

2

failures

0

ignored

0.540s

duration

33%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestProofBundleIO 3 2 0 0.540s 33%