TestTermParserHeap
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testAccessStaticMembers() | 0.003s | passed |
| testAllFieldsSelector() | 0.001s | passed |
| testAtOperator_1() | 0.001s | passed |
| testAtOperator_2() | 0.001s | passed |
| testAtOperator_3() | 0.001s | passed |
| testAtOperator_4() | 0.004s | passed |
| testAtOperator_5() | 0.002s | passed |
| testAtOperator_6() | 0.001s | passed |
| testAtOperator_7() | 0.001s | passed |
| testAtOperator_8() | 0.002s | passed |
| testBracketHeapUpdate() | 0.052s | passed |
| testBugResettingCounter() | 0.002s | passed |
| testGenericObjectProperties() | 0.002s | passed |
| testLocationSets() | 0.002s | passed |
| testParsePrettyPrintedSelect() | 0.002s | passed |
| testQuantifiedSelect() | 0.002s | passed |
| testQueryBasic_1() | 0.001s | passed |
| testQueryBasic_10() | 0.001s | passed |
| testQueryBasic_11() | 0.002s | passed |
| testQueryBasic_2() | 0.001s | passed |
| testQueryBasic_3() | 0.001s | passed |
| testQueryBasic_4() | 0.002s | passed |
| testQueryBasic_5() | 0.001s | passed |
| testQueryBasic_6() | 0.001s | passed |
| testQueryBasic_7() | 0.004s | passed |
| testQueryBasic_8() | 0.001s | passed |
| testQueryBasic_9() | 0.001s | passed |
| testQueryInheritance_1() | 0.002s | passed |
| testQueryInheritance_2() | 0.003s | passed |
| testQueryInheritance_3() | 0.001s | passed |
| testQueryInheritance_4() | 0.001s | passed |
| testQueryInheritance_5() | 0.001s | passed |
| testQueryInheritance_6() | 0.001s | passed |
| testQueryInheritance_7() | 0.001s | passed |
| testQueryInheritance_8() | 0.003s | passed |
| testQueryInheritance_9() | 0.002s | passed |
| testStore() | 0.008s | passed |
| testUnknownConstant() | 0.001s | passed |
| testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() | 0.002s | passed |
Standard output
392607 WARN Test worker d.u.i.k.n.KeYParser [syntax-error] <unknown>:1:11: mismatched input '@' expecting {'/', ':=', '.', '(', ')', '{', '[', '@', PARALLEL, OR, AND, IMP, '=', NOT_EQUALS, '%', '*', '-', '+', '>', GREATEREQUAL, '<', LESSEQUAL, LGUILLEMETS, EQV} [@11,11:11='@',<153>,1:11] (termEOF)