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

34

tests

1

failures

0

ignored

2h1m26.54s

duration

97%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsFunctional 34 1 0 2h1m26.54s 97%