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

34

tests

0

failures

0

ignored

2h5m46.77s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsFunctional 34 0 0 2h5m46.77s 100%