Package de.uka.ilkd.key.proof.runallproofs

1

tests

1

failures

0

ignored

0.002s

duration

0%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsFunctional 1 1 0 0.002s 0%