Package de.uka.ilkd.key.speclang.njml
|
100%
successful |
Ignored tests
Classes
Class | Tests | Failures | Ignored | Duration | Success rate |
---|---|---|---|---|---|
ClasslevelTranslatorTest | 184 | 0 | 0 | 1.774s | 100% |
ContractLoadingTests | 4 | 0 | 0 | 21.822s | 100% |
ExpressionTranslatorTest | 14 | 0 | 0 | 0.052s | 100% |
JMLParserExceptionTest | 6 | 0 | 4 | 3.032s | 100% |
MethodlevelTranslatorTest | 13 | 0 | 0 | 0.142s | 100% |
NJmlTranslatorTests | 5 | 0 | 0 | 0.012s | 100% |
TextualTranslatorTest | 2 | 0 | 0 | 0.005s | 100% |