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

30

tests

0

failures

0

ignored

56m57.52s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsInfFlow 30 0 0 56m57.52s 100%