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

47

tests

0

failures

2

ignored

2.824s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
JMLUtilsTest 2 0 0 0.004s 100%
TestJMLPreTranslator 20 0 2 0.030s 100%
TestJMLTranslator 25 0 0 2.790s 100%