Package de.uka.ilkd.key.speclang.njml
|
99%
successful |
Failed tests
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
ClasslevelTranslatorTest | 184 | 0 | 0 | 1.419s | 100% |
ContractLoadingTests | 4 | 1 | 0 | 14.133s | 75% |
ExpressionTranslatorTest | 14 | 0 | 0 | 0.042s | 100% |
MethodlevelTranslatorTest | 13 | 0 | 0 | 0.104s | 100% |
NJmlTranslatorTests | 5 | 1 | 0 | 0.009s | 80% |
TextualTranslatorTest | 2 | 0 | 0 | 0.003s | 100% |