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

47

tests

0

failures

0

ignored

1h31m27.68s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsFunctional 47 0 0 1h31m27.68s 100%