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.003s | passed |
testAtOperator_5() | 0.001s | passed |
testAtOperator_6() | 0.001s | passed |
testAtOperator_7() | 0.001s | passed |
testAtOperator_8() | 0.002s | passed |
testBracketHeapUpdate() | 0.016s | passed |
testBugResettingCounter() | 0.002s | passed |
testGenericObjectProperties() | 0.001s | passed |
testLocationSets() | 0.001s | passed |
testParsePrettyPrintedSelect() | 0.002s | passed |
testQuantifiedSelect() | 0.003s | passed |
testQueryBasic_1() | 0s | passed |
testQueryBasic_10() | 0.001s | passed |
testQueryBasic_11() | 0.001s | passed |
testQueryBasic_2() | 0.001s | passed |
testQueryBasic_3() | 0.001s | passed |
testQueryBasic_4() | 0.002s | passed |
testQueryBasic_5() | 0.001s | passed |
testQueryBasic_6() | 0.002s | passed |
testQueryBasic_7() | 0.001s | passed |
testQueryBasic_8() | 0.002s | passed |
testQueryBasic_9() | 0.001s | passed |
testQueryInheritance_1() | 0.002s | passed |
testQueryInheritance_2() | 0.001s | 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() | 0s | passed |
testQueryInheritance_9() | 0.001s | passed |
testStore() | 0.006s | passed |
testUnknownConstant() | 0.001s | passed |
testVerifyExceptionIfAtOperatorNotPreceededBySelectTerm() | 0.001s | passed |
Standard output
308619 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)