Package de.uka.ilkd.key.parser
|
4%
successful |
Failed tests
- TestDeclParser. testArrayDecl()
- TestDeclParser. testFunctionDecl()
- TestDeclParser. testGenericSortDecl1()
- TestDeclParser. testGenericSortDecl2()
- TestDeclParser. testGenericSortDecl3()
- TestDeclParser. testGenericSortDecl4()
- TestDeclParser. testGenericSortDecl6()
- TestDeclParser. testHeurDecl()
- TestDeclParser. testPredicateDecl()
- TestDeclParser. testProxySortDecl()
- TestDeclParser. testSVDecl()
- TestDeclParser. testSortDecl()
- TestIntLiteralParsing. initializationError
- TestIntLiteralParsing. initializationError
- TestIntLiteralParsing. initializationError
- TestIntLiteralParsing. initializationError
- TestIntLiteralParsing. initializationError
- TestJMLParserAssociativity. testLeftAssociativity()
- TestParser. testConstantEvaluationError()
- TestParser. testGenericSort()
- TestParser. testIssue1566()
- TestTacletParser. testAllRight()
Ignored tests
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestDeclParser | 14 | 12 | 2 | 3m34.69s | 0% |
| TestIntLiteralParsing | 5 | 5 | 0 | 0.008s | 0% |
| TestJMLParserAssociativity | 1 | 1 | 0 | 0s | 0% |
| TestParser | 5 | 3 | 1 | 30m34.00s | 25% |
| TestTacletParser | 2 | 1 | 1 | 2m29.07s | 0% |