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

227

tests

0

failures

3

ignored

27.366s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ClasslevelTranslatorTest 184 0 0 1.842s 100%
ContractLoadingTests 4 0 0 22.259s 100%
ExpressionTranslatorTest 14 0 0 0.058s 100%
JMLParserExceptionTest 5 0 3 3.045s 100%
MethodlevelTranslatorTest 13 0 0 0.145s 100%
NJmlTranslatorTests 5 0 0 0.012s 100%
TextualTranslatorTest 2 0 0 0.005s 100%