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

228

tests

0

failures

4

ignored

23.551s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ClasslevelTranslatorTest 184 0 0 1.554s 100%
ContractLoadingTests 4 0 0 19.098s 100%
ExpressionTranslatorTest 14 0 0 0.044s 100%
JMLParserExceptionTest 6 0 4 2.719s 100%
MethodlevelTranslatorTest 13 0 0 0.121s 100%
NJmlTranslatorTests 5 0 0 0.011s 100%
TextualTranslatorTest 2 0 0 0.004s 100%