Package de.uka.ilkd.key.speclang.njml

227

tests

25

failures

3

ignored

14.598s

duration

88%

successful

Failed tests

Classes

Class Tests Failures Ignored Duration Success rate
ClasslevelTranslatorTest 184 0 0 3.604s 100%
ContractLoadingTests 4 4 0 4.682s 0%
ExpressionTranslatorTest 14 14 0 2.779s 0%
JMLParserExceptionTest 5 2 3 3.363s 0%
MethodlevelTranslatorTest 13 0 0 0.159s 100%
NJmlTranslatorTests 5 5 0 0.005s 0%
TextualTranslatorTest 2 0 0 0.006s 100%