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

29

tests

0

failures

0

ignored

56m1.99s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
RunAllProofsInfFlow 29 0 0 56m1.99s 100%