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

222

tests

0

failures

0

ignored

13.119s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ClasslevelTranslatorTest 184 0 0 0.974s 100%
ContractLoadingTests 4 0 0 12.025s 100%
ExpressionTranslatorTest 14 0 0 0.034s 100%
MethodlevelTranslatorTest 13 0 0 0.077s 100%
NJmlTranslatorTests 5 0 0 0.007s 100%
TextualTranslatorTest 2 0 0 0.002s 100%