Package de.uka.ilkd.key.speclang.jml

47

tests

25

failures

2

ignored

8.911s

duration

44%

successful

Classes

Class Tests Failures Ignored Duration Success rate
JMLUtilsTest 2 0 0 0.003s 100%
TestJMLPreTranslator 20 0 2 0.135s 100%
TestJMLTranslator 25 25 0 8.773s 0%