From 4438ad88f8413d6fd61b392224ed2e1e82b394d6 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 13 Feb 2026 15:12:21 +0100 Subject: [PATCH 1/4] Split tests for message files from other tests --- .github/workflows/build.yml | 4 ++++ HACKING.md | 11 +++++++++++ Makefile | 4 ++-- src/languages/dune.common | 2 +- 4 files changed, 18 insertions(+), 3 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 10e38f40f..a6c9eb970 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -59,6 +59,10 @@ jobs: # Run opam udpate to get an up-to-date repo - name: Update opam repo run: opam update + # Pin a specific version of menhir to ensure stability for + # .messages ordering and state numbering + - name: Install menhir + run: opam install menhir.20260209 # Install ocaml deps - name: Install Ocaml deps run: opam install . --deps-only --with-test --with-doc diff --git a/HACKING.md b/HACKING.md index dab9623d9..f9a6ecba0 100644 --- a/HACKING.md +++ b/HACKING.md @@ -4,6 +4,17 @@ This file is incomplete, but may have interesting tips if you want to start hacking on dolmen. If you're having troubles, don't hesitate to contact me directly, ^^ +## Menhir version + +Some tests may depend on specifi versions of menhir. Notably the syntax error +messages files can have slight changes between menhir versions (harmless changes, +but they still induce a diff on the .messages files). Therefore to ensure that all +tests succeed, users are encouraged to use the following version of menhir: + +``` +opam install menhir.20260209 +``` + ## Build locally You need to have [ocaml](https://ocaml.org/) installed to compile dolmen. diff --git a/Makefile b/Makefile index 33fc9edde..eb60814eb 100644 --- a/Makefile +++ b/Makefile @@ -21,10 +21,10 @@ gentests: tools/gentests.ml $(filter-out $(wildcard tests/**/*.t/**/*),$(wildcar dune exec -- tools/gentests.exe tests/ test: gentests - dune build $(FLAGS) @runtest + dune build $(FLAGS) @runtest @messages promote: gentests - -dune build $(FLAGS) @runtest + -dune build $(FLAGS) @runtest @messages dune promote $(FLAGS) coverage: diff --git a/src/languages/dune.common b/src/languages/dune.common index 6a2cec176..9f0b4e0f7 100644 --- a/src/languages/dune.common +++ b/src/languages/dune.common @@ -61,7 +61,7 @@ ) (rule - (alias runtest) + (alias messages) (package dolmen) (deps syntax.messages syntax.messages.updated) (action (diff syntax.messages syntax.messages.updated)) From 070952652e3e45b07f023cda188334d6ba4b0543 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 13 Feb 2026 15:12:36 +0100 Subject: [PATCH 2/4] Update messages files for new menhir version --- src/languages/ae/syntax.messages | 226 ++++---- .../smtlib2/v2.6/response/syntax.messages | 84 +-- .../smtlib2/v2.7/response/syntax.messages | 100 ++-- .../smtlib2/v2.7/script/syntax.messages | 8 +- src/languages/tptp/v6.3.0/syntax.messages | 511 +++++++++--------- src/languages/zf/syntax.messages | 138 ++--- 6 files changed, 549 insertions(+), 518 deletions(-) diff --git a/src/languages/ae/syntax.messages b/src/languages/ae/syntax.messages index e63f7835e..1b35488d0 100644 --- a/src/languages/ae/syntax.messages +++ b/src/languages/ae/syntax.messages @@ -533,7 +533,7 @@ file: THEORY ID EXTENDS ID EQUAL CASESPLIT ID COLON XOR -file: AXIOM ID COLON STRING XOR +file: REWRITING ID COLON STRING XOR ## ## Ends in an error in state: 79. ## @@ -545,7 +545,7 @@ file: AXIOM ID COLON STRING XOR -file: AXIOM ID COLON STRING COLON XOR +file: REWRITING ID COLON STRING COLON XOR ## ## Ends in an error in state: 80. ## @@ -557,7 +557,7 @@ file: AXIOM ID COLON STRING COLON XOR -file: AXIOM ID COLON NOT XOR +file: REWRITING ID COLON NOT XOR ## ## Ends in an error in state: 81. ## @@ -569,7 +569,7 @@ file: AXIOM ID COLON NOT XOR -file: AXIOM ID COLON MINUS XOR +file: REWRITING ID COLON MINUS XOR ## ## Ends in an error in state: 82. ## @@ -581,7 +581,7 @@ file: AXIOM ID COLON MINUS XOR -file: AXIOM ID COLON MATCH XOR +file: REWRITING ID COLON MATCH XOR ## ## Ends in an error in state: 83. ## @@ -593,7 +593,7 @@ file: AXIOM ID COLON MATCH XOR -file: AXIOM ID COLON LET XOR +file: REWRITING ID COLON LET XOR ## ## Ends in an error in state: 84. ## @@ -605,7 +605,7 @@ file: AXIOM ID COLON LET XOR -file: AXIOM ID COLON LET ID EQUAL ID IN XOR +file: REWRITING ID COLON LET ID EQUAL ID IN XOR ## ## Ends in an error in state: 86. ## @@ -617,7 +617,7 @@ file: AXIOM ID COLON LET ID EQUAL ID IN XOR -file: AXIOM ID COLON LEFTSQ XOR +file: REWRITING ID COLON LEFTSQ XOR ## ## Ends in an error in state: 87. ## @@ -629,7 +629,7 @@ file: AXIOM ID COLON LEFTSQ XOR -file: AXIOM ID COLON LEFTSQ BAR XOR +file: REWRITING ID COLON LEFTSQ BAR XOR ## ## Ends in an error in state: 88. ## @@ -641,7 +641,7 @@ file: AXIOM ID COLON LEFTSQ BAR XOR -file: AXIOM ID COLON LEFTSQ BAR INTEGER XOR +file: REWRITING ID COLON LEFTSQ BAR INTEGER XOR ## ## Ends in an error in state: 89. ## @@ -653,7 +653,7 @@ file: AXIOM ID COLON LEFTSQ BAR INTEGER XOR -file: AXIOM ID COLON LEFTSQ BAR INTEGER BAR XOR +file: REWRITING ID COLON LEFTSQ BAR INTEGER BAR XOR ## ## Ends in an error in state: 90. ## @@ -665,7 +665,7 @@ file: AXIOM ID COLON LEFTSQ BAR INTEGER BAR XOR -file: AXIOM ID COLON LEFTPAR XOR +file: REWRITING ID COLON LEFTPAR XOR ## ## Ends in an error in state: 92. ## @@ -677,7 +677,7 @@ file: AXIOM ID COLON LEFTPAR XOR -file: AXIOM ID COLON LEFTBR XOR +file: REWRITING ID COLON LEFTBR XOR ## ## Ends in an error in state: 93. ## @@ -690,7 +690,7 @@ file: AXIOM ID COLON LEFTBR XOR -file: AXIOM ID COLON LEFTBR DECIMAL XOR +file: REWRITING ID COLON LEFTBR DECIMAL VOID ## ## Ends in an error in state: 98. ## @@ -709,7 +709,7 @@ file: AXIOM ID COLON LEFTBR DECIMAL XOR -file: AXIOM ID COLON LEFTBR ID WITH XOR +file: REWRITING ID COLON LEFTBR ID WITH XOR ## ## Ends in an error in state: 99. ## @@ -721,7 +721,7 @@ file: AXIOM ID COLON LEFTBR ID WITH XOR -file: AXIOM ID COLON LEFTBR ID EQUAL ID PV XOR +file: REWRITING ID COLON LEFTBR ID EQUAL ID PV XOR ## ## Ends in an error in state: 103. ## @@ -733,7 +733,7 @@ file: AXIOM ID COLON LEFTBR ID EQUAL ID PV XOR -file: AXIOM ID COLON LEFTBR ID WITH ID XOR +file: REWRITING ID COLON LEFTBR ID WITH ID XOR ## ## Ends in an error in state: 105. ## @@ -745,7 +745,7 @@ file: AXIOM ID COLON LEFTBR ID WITH ID XOR -file: AXIOM ID COLON LEFTBR ID EQUAL XOR +file: REWRITING ID COLON LEFTBR ID EQUAL XOR ## ## Ends in an error in state: 106. ## @@ -757,7 +757,7 @@ file: AXIOM ID COLON LEFTBR ID EQUAL XOR -file: AXIOM ID COLON IF XOR +file: REWRITING ID COLON IF XOR ## ## Ends in an error in state: 107. ## @@ -769,7 +769,7 @@ file: AXIOM ID COLON IF XOR -file: AXIOM ID COLON FORALL XOR +file: REWRITING ID COLON FORALL XOR ## ## Ends in an error in state: 108. ## @@ -781,7 +781,7 @@ file: AXIOM ID COLON FORALL XOR -file: FUNC ID XOR +file: PRED ID XOR ## ## Ends in an error in state: 109. ## @@ -794,7 +794,7 @@ file: FUNC ID XOR -file: AXIOM ID COLON EXISTS ID COLON XOR +file: REWRITING ID COLON FORALL ID COLON XOR ## ## Ends in an error in state: 112. ## @@ -806,7 +806,7 @@ file: AXIOM ID COLON EXISTS ID COLON XOR -file: AXIOM ID COLON EXISTS ID COLON ID XOR +file: REWRITING ID COLON FORALL ID COLON ID XOR ## ## Ends in an error in state: 113. ## @@ -819,7 +819,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ XOR ## ## Ends in an error in state: 115. ## @@ -831,7 +831,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ XOR -file: AXIOM ID COLON EXISTS XOR +file: REWRITING ID COLON EXISTS XOR ## ## Ends in an error in state: 116. ## @@ -843,7 +843,7 @@ file: AXIOM ID COLON EXISTS XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID RIGHTSQ XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID RIGHTSQ XOR ## ## Ends in an error in state: 118. ## @@ -855,7 +855,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID RIGHTSQ XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTBR XOR ## ## Ends in an error in state: 119. ## @@ -867,7 +867,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR XOR -file: AXIOM ID COLON DISTINCT XOR +file: REWRITING ID COLON DISTINCT XOR ## ## Ends in an error in state: 120. ## @@ -879,7 +879,7 @@ file: AXIOM ID COLON DISTINCT XOR -file: AXIOM ID COLON DISTINCT LEFTPAR XOR +file: REWRITING ID COLON DISTINCT LEFTPAR XOR ## ## Ends in an error in state: 121. ## @@ -891,7 +891,7 @@ file: AXIOM ID COLON DISTINCT LEFTPAR XOR -file: AXIOM ID COLON CUT XOR +file: REWRITING ID COLON CUT XOR ## ## Ends in an error in state: 122. ## @@ -903,7 +903,7 @@ file: AXIOM ID COLON CUT XOR -file: AXIOM ID COLON CHECK XOR +file: REWRITING ID COLON CHECK XOR ## ## Ends in an error in state: 123. ## @@ -915,7 +915,7 @@ file: AXIOM ID COLON CHECK XOR -file: AXIOM ID COLON DECIMAL VOID +file: REWRITING ID COLON DECIMAL VOID ## ## Ends in an error in state: 124. ## @@ -934,7 +934,7 @@ file: AXIOM ID COLON DECIMAL VOID -file: AXIOM ID COLON ID SHARP XOR +file: REWRITING ID COLON ID SHARP XOR ## ## Ends in an error in state: 125. ## @@ -946,7 +946,7 @@ file: AXIOM ID COLON ID SHARP XOR -file: AXIOM ID COLON ID QM XOR +file: REWRITING ID COLON ID QM XOR ## ## Ends in an error in state: 128. ## @@ -958,7 +958,7 @@ file: AXIOM ID COLON ID QM XOR -file: AXIOM ID COLON ID LEFTSQ XOR +file: REWRITING ID COLON ID LEFTSQ XOR ## ## Ends in an error in state: 130. ## @@ -971,7 +971,7 @@ file: AXIOM ID COLON ID LEFTSQ XOR -file: AXIOM ID COLON ID LEFTSQ ID IN +file: REWRITING ID COLON ID LEFTSQ ID WITH ## ## Ends in an error in state: 133. ## @@ -1159,7 +1159,7 @@ file: AXIOM ID COLON ID HAT LEFTBR INTEGER COMMA INTEGER XOR -file: AXIOM ID COLON ID VOID +file: REWRITING ID COLON ID VOID ## ## Ends in an error in state: 144. ## @@ -1172,7 +1172,7 @@ file: AXIOM ID COLON ID VOID -file: AXIOM ID COLON ID LEFTPAR XOR +file: REWRITING ID COLON ID LEFTPAR XOR ## ## Ends in an error in state: 145. ## @@ -1184,7 +1184,7 @@ file: AXIOM ID COLON ID LEFTPAR XOR -file: AXIOM ID COLON ID LEFTPAR ID RIGHTBR +file: REWRITING ID COLON ID LEFTPAR ID RIGHTBR ## ## Ends in an error in state: 147. ## @@ -1205,7 +1205,7 @@ file: AXIOM ID COLON ID LEFTPAR ID RIGHTBR -file: AXIOM ID COLON ID LEFTPAR ID RIGHTSQ +file: REWRITING ID COLON ID LEFTPAR ID WITH ## ## Ends in an error in state: 149. ## @@ -1917,7 +1917,7 @@ file: AXIOM ID COLON ID AND XOR -file: AXIOM ID COLON ID AND LEFTSQ BAR INTEGER BAR RIGHTSQ VOID +file: PRED ID EQUAL ID AND LEFTSQ BAR INTEGER BAR RIGHTSQ VOID ## ## Ends in an error in state: 181. ## @@ -1993,7 +1993,7 @@ file: AXIOM ID COLON ID LRARROW LEFTSQ BAR INTEGER BAR RIGHTSQ VOID -file: AXIOM ID COLON ID LEFTPAR ID COMMA XOR +file: REWRITING ID COLON ID LEFTPAR ID COMMA XOR ## ## Ends in an error in state: 184. ## @@ -2005,7 +2005,7 @@ file: AXIOM ID COLON ID LEFTPAR ID COMMA XOR -file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW XOR +file: REWRITING ID COLON ID LEFTSQ ID LEFTARROW XOR ## ## Ends in an error in state: 187. ## @@ -2017,7 +2017,7 @@ file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW XOR -file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID IN +file: REWRITING ID COLON ID LEFTSQ ID LEFTARROW ID WITH ## ## Ends in an error in state: 188. ## @@ -2056,7 +2056,7 @@ file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID IN -file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID COMMA XOR +file: REWRITING ID COLON ID LEFTSQ ID LEFTARROW ID COMMA XOR ## ## Ends in an error in state: 190. ## @@ -2068,7 +2068,7 @@ file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID COMMA XOR -file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID COMMA ID RIGHTSQ +file: REWRITING ID COLON ID LEFTSQ ID LEFTARROW ID COMMA ID WITH ## ## Ends in an error in state: 192. ## @@ -2107,7 +2107,7 @@ file: AXIOM ID COLON ID LEFTSQ ID LEFTARROW ID COMMA ID RIGHTSQ -file: AXIOM ID COLON ID DOT XOR +file: REWRITING ID COLON ID DOT XOR ## ## Ends in an error in state: 193. ## @@ -2119,7 +2119,7 @@ file: AXIOM ID COLON ID DOT XOR -file: AXIOM ID COLON ID COLON XOR +file: REWRITING ID COLON ID COLON XOR ## ## Ends in an error in state: 195. ## @@ -2131,7 +2131,7 @@ file: AXIOM ID COLON ID COLON XOR -file: AXIOM ID COLON ID COLON ID VOID +file: REWRITING ID COLON ID COLON ID VOID ## ## Ends in an error in state: 196. ## @@ -2144,7 +2144,7 @@ file: AXIOM ID COLON ID COLON ID VOID -file: AXIOM ID COLON DISTINCT LEFTPAR ID RIGHTSQ +file: REWRITING ID COLON DISTINCT LEFTPAR ID WITH ## ## Ends in an error in state: 201. ## @@ -2184,7 +2184,7 @@ file: AXIOM ID COLON DISTINCT LEFTPAR ID RIGHTSQ -file: AXIOM ID COLON DISTINCT LEFTPAR ID COMMA XOR +file: REWRITING ID COLON DISTINCT LEFTPAR ID COMMA XOR ## ## Ends in an error in state: 202. ## @@ -2197,7 +2197,7 @@ file: AXIOM ID COLON DISTINCT LEFTPAR ID COMMA XOR -file: AXIOM ID COLON DISTINCT LEFTPAR ID COMMA ID RIGHTSQ +file: REWRITING ID COLON DISTINCT LEFTPAR ID COMMA ID WITH ## ## Ends in an error in state: 204. ## @@ -2238,7 +2238,7 @@ file: AXIOM ID COLON DISTINCT LEFTPAR ID COMMA ID RIGHTSQ -file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTPAR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTPAR ## ## Ends in an error in state: 205. ## @@ -2258,7 +2258,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTPAR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTBR XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTBR XOR ## ## Ends in an error in state: 207. ## @@ -2270,7 +2270,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTBR ID RIGHTBR XOR -file: AXIOM ID COLON EXISTS ID COLON ID DOT XOR +file: REWRITING ID COLON EXISTS ID COLON ID DOT XOR ## ## Ends in an error in state: 208. ## @@ -2282,7 +2282,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID DOT XOR -file: AXIOM ID COLON EXISTS ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID +file: REWRITING ID COLON EXISTS ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID ## ## Ends in an error in state: 209. ## @@ -2314,7 +2314,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID -file: AXIOM ID COLON EXISTS ID LEFTPAR +file: REWRITING ID COLON FORALL ID LEFTPAR ## ## Ends in an error in state: 211. ## @@ -2334,7 +2334,7 @@ file: AXIOM ID COLON EXISTS ID LEFTPAR -file: AXIOM ID COLON EXISTS ID COMMA XOR +file: REWRITING ID COLON FORALL ID COMMA XOR ## ## Ends in an error in state: 212. ## @@ -2346,7 +2346,7 @@ file: AXIOM ID COLON EXISTS ID COMMA XOR -file: AXIOM ID COLON EXISTS ID COLON ID COMMA XOR +file: REWRITING ID COLON FORALL ID COLON ID COMMA XOR ## ## Ends in an error in state: 215. ## @@ -2358,7 +2358,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID COMMA XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID BAR XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID BAR XOR ## ## Ends in an error in state: 218. ## @@ -2370,7 +2370,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID BAR XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID WITH +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID WITH ## ## Ends in an error in state: 221. ## @@ -2383,7 +2383,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID WITH -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO XOR ## ## Ends in an error in state: 222. ## @@ -2395,7 +2395,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO ID IN +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO ID WITH ## ## Ends in an error in state: 223. ## @@ -2434,7 +2434,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID MAPS_TO ID IN -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMAL LEFTSQ XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMAL LEFTSQ XOR ## ## Ends in an error in state: 224. ## @@ -2447,7 +2447,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMA -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID COMMA XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID COMMA XOR ## ## Ends in an error in state: 225. ## @@ -2459,7 +2459,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID COMMA XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ DECIMAL WITH +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ DECIMAL WITH ## ## Ends in an error in state: 227. ## @@ -2498,7 +2498,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ DECIMAL WITH -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN XOR ## ## Ends in an error in state: 228. ## @@ -2510,7 +2510,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ XOR ## ## Ends in an error in state: 231. ## @@ -2522,7 +2522,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ MINUS XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ MINUS XOR ## ## Ends in an error in state: 234. ## @@ -2536,7 +2536,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ MINUS XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL XOR ## ## Ends in an error in state: 242. ## @@ -2548,7 +2548,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA XOR ## ## Ends in an error in state: 243. ## @@ -2560,7 +2560,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA XOR -file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMAL XOR +file: REWRITING ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMAL XOR ## ## Ends in an error in state: 244. ## @@ -2572,7 +2572,7 @@ file: AXIOM ID COLON EXISTS ID COLON ID LEFTSQ ID IN LEFTSQ DECIMAL COMMA DECIMA -file: AXIOM ID COLON FORALL ID COLON ID LEFTSQ ID RIGHTSQ XOR +file: REWRITING ID COLON FORALL ID COLON ID LEFTSQ ID RIGHTSQ XOR ## ## Ends in an error in state: 248. ## @@ -2584,7 +2584,7 @@ file: AXIOM ID COLON FORALL ID COLON ID LEFTSQ ID RIGHTSQ XOR -file: AXIOM ID COLON FORALL ID COLON ID LEFTBR ID RIGHTBR XOR +file: REWRITING ID COLON FORALL ID COLON ID LEFTBR ID RIGHTBR XOR ## ## Ends in an error in state: 249. ## @@ -2596,7 +2596,7 @@ file: AXIOM ID COLON FORALL ID COLON ID LEFTBR ID RIGHTBR XOR -file: AXIOM ID COLON FORALL ID COLON ID DOT XOR +file: REWRITING ID COLON FORALL ID COLON ID DOT XOR ## ## Ends in an error in state: 250. ## @@ -2608,7 +2608,7 @@ file: AXIOM ID COLON FORALL ID COLON ID DOT XOR -file: AXIOM ID COLON FORALL ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID +file: REWRITING ID COLON FORALL ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID ## ## Ends in an error in state: 251. ## @@ -2640,7 +2640,7 @@ file: AXIOM ID COLON FORALL ID COLON ID DOT LEFTSQ BAR INTEGER BAR RIGHTSQ VOID -file: AXIOM ID COLON IF ID RIGHTSQ +file: REWRITING ID COLON IF ID WITH ## ## Ends in an error in state: 252. ## @@ -2679,7 +2679,7 @@ file: AXIOM ID COLON IF ID RIGHTSQ -file: AXIOM ID COLON IF ID THEN XOR +file: REWRITING ID COLON IF ID THEN XOR ## ## Ends in an error in state: 253. ## @@ -2691,7 +2691,7 @@ file: AXIOM ID COLON IF ID THEN XOR -file: AXIOM ID COLON IF ID THEN ID RIGHTSQ +file: REWRITING ID COLON IF ID THEN ID WITH ## ## Ends in an error in state: 254. ## @@ -2730,7 +2730,7 @@ file: AXIOM ID COLON IF ID THEN ID RIGHTSQ -file: AXIOM ID COLON IF ID THEN ID ELSE XOR +file: REWRITING ID COLON IF ID THEN ID ELSE XOR ## ## Ends in an error in state: 255. ## @@ -2742,7 +2742,7 @@ file: AXIOM ID COLON IF ID THEN ID ELSE XOR -file: AXIOM ID COLON IF ID THEN ID ELSE LEFTSQ BAR INTEGER BAR RIGHTSQ VOID +file: REWRITING ID COLON IF ID THEN ID ELSE LEFTSQ BAR INTEGER BAR RIGHTSQ VOID ## ## Ends in an error in state: 256. ## @@ -2774,7 +2774,7 @@ file: AXIOM ID COLON IF ID THEN ID ELSE LEFTSQ BAR INTEGER BAR RIGHTSQ VOID -file: AXIOM ID COLON LEFTBR ID EQUAL ID RIGHTSQ +file: REWRITING ID COLON LEFTBR ID EQUAL ID WITH ## ## Ends in an error in state: 257. ## @@ -2813,7 +2813,7 @@ file: AXIOM ID COLON LEFTBR ID EQUAL ID RIGHTSQ -file: AXIOM ID COLON LEFTBR ID XOR +file: REWRITING ID COLON LEFTBR ID XOR ## ## Ends in an error in state: 260. ## @@ -2827,7 +2827,7 @@ file: AXIOM ID COLON LEFTBR ID XOR -file: AXIOM ID COLON LEFTPAR ID RIGHTSQ +file: REWRITING ID COLON LEFTPAR ID WITH ## ## Ends in an error in state: 261. ## @@ -2866,7 +2866,7 @@ file: AXIOM ID COLON LEFTPAR ID RIGHTSQ -file: AXIOM ID COLON LET ID EQUAL ID IN LEFTSQ BAR INTEGER BAR RIGHTSQ VOID +file: REWRITING ID COLON LET ID EQUAL ID IN LEFTSQ BAR INTEGER BAR RIGHTSQ VOID ## ## Ends in an error in state: 263. ## @@ -2898,7 +2898,7 @@ file: AXIOM ID COLON LET ID EQUAL ID IN LEFTSQ BAR INTEGER BAR RIGHTSQ VOID -file: AXIOM ID COLON LET ID EQUAL ID COMMA XOR +file: REWRITING ID COLON LET ID EQUAL ID COMMA XOR ## ## Ends in an error in state: 265. ## @@ -2910,7 +2910,7 @@ file: AXIOM ID COLON LET ID EQUAL ID COMMA XOR -file: AXIOM ID COLON LET ID XOR +file: REWRITING ID COLON LET ID XOR ## ## Ends in an error in state: 267. ## @@ -2922,7 +2922,7 @@ file: AXIOM ID COLON LET ID XOR -file: AXIOM ID COLON LET ID EQUAL XOR +file: REWRITING ID COLON LET ID EQUAL XOR ## ## Ends in an error in state: 268. ## @@ -2934,7 +2934,7 @@ file: AXIOM ID COLON LET ID EQUAL XOR -file: AXIOM ID COLON LET ID EQUAL ID RIGHTSQ +file: REWRITING ID COLON LET ID EQUAL ID WITH ## ## Ends in an error in state: 269. ## @@ -2973,7 +2973,7 @@ file: AXIOM ID COLON LET ID EQUAL ID RIGHTSQ -file: AXIOM ID COLON MATCH ID RIGHTSQ +file: REWRITING ID COLON MATCH ID TYPE ## ## Ends in an error in state: 270. ## @@ -3012,7 +3012,7 @@ file: AXIOM ID COLON MATCH ID RIGHTSQ -file: AXIOM ID COLON MATCH ID WITH XOR +file: REWRITING ID COLON MATCH ID WITH XOR ## ## Ends in an error in state: 271. ## @@ -3024,7 +3024,7 @@ file: AXIOM ID COLON MATCH ID WITH XOR -file: AXIOM ID COLON MATCH ID WITH BAR XOR +file: REWRITING ID COLON MATCH ID WITH BAR XOR ## ## Ends in an error in state: 272. ## @@ -3036,7 +3036,7 @@ file: AXIOM ID COLON MATCH ID WITH BAR XOR -file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID RIGHTPAR XOR +file: REWRITING ID COLON MATCH ID WITH ID LEFTPAR ID RIGHTPAR XOR ## ## Ends in an error in state: 273. ## @@ -3048,7 +3048,7 @@ file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID RIGHTPAR XOR -file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW XOR +file: REWRITING ID COLON MATCH ID WITH ID RIGHTARROW XOR ## ## Ends in an error in state: 274. ## @@ -3060,7 +3060,7 @@ file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW XOR -file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW ID RIGHTSQ +file: REWRITING ID COLON MATCH ID WITH ID RIGHTARROW ID WITH ## ## Ends in an error in state: 275. ## @@ -3099,7 +3099,7 @@ file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW ID RIGHTSQ -file: AXIOM ID COLON MATCH ID WITH ID XOR +file: REWRITING ID COLON MATCH ID WITH ID XOR ## ## Ends in an error in state: 277. ## @@ -3112,7 +3112,7 @@ file: AXIOM ID COLON MATCH ID WITH ID XOR -file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR XOR +file: REWRITING ID COLON MATCH ID WITH ID LEFTPAR XOR ## ## Ends in an error in state: 278. ## @@ -3124,7 +3124,7 @@ file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR XOR -file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID XOR +file: REWRITING ID COLON MATCH ID WITH ID LEFTPAR ID XOR ## ## Ends in an error in state: 281. ## @@ -3137,7 +3137,7 @@ file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID XOR -file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID COMMA XOR +file: REWRITING ID COLON MATCH ID WITH ID LEFTPAR ID COMMA XOR ## ## Ends in an error in state: 282. ## @@ -3149,7 +3149,7 @@ file: AXIOM ID COLON MATCH ID WITH ID LEFTPAR ID COMMA XOR -file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW ID BAR XOR +file: REWRITING ID COLON MATCH ID WITH ID RIGHTARROW ID BAR XOR ## ## Ends in an error in state: 286. ## @@ -3161,7 +3161,7 @@ file: AXIOM ID COLON MATCH ID WITH ID RIGHTARROW ID BAR XOR -file: THEORY ID EXTENDS ID EQUAL CASESPLIT ID COLON ID RIGHTSQ +file: THEORY ID EXTENDS ID EQUAL CASESPLIT ID COLON ID WITH ## ## Ends in an error in state: 292. ## @@ -3236,7 +3236,7 @@ file: THEORY ID EXTENDS ID EQUAL AXIOM ID COLON XOR -file: THEORY ID EXTENDS ID EQUAL AXIOM ID COLON ID RIGHTSQ +file: THEORY ID EXTENDS ID EQUAL AXIOM ID COLON ID WITH ## ## Ends in an error in state: 296. ## @@ -3311,7 +3311,7 @@ file: REWRITING ID COLON XOR -file: REWRITING ID COLON ID RIGHTSQ +file: REWRITING ID COLON ID WITH ## ## Ends in an error in state: 305. ## @@ -3440,7 +3440,7 @@ file: PRED ID LEFTPAR RIGHTPAR EQUAL XOR -file: PRED ID LEFTPAR RIGHTPAR EQUAL ID RIGHTSQ +file: PRED ID LEFTPAR RIGHTPAR EQUAL ID WITH ## ## Ends in an error in state: 315. ## @@ -3591,7 +3591,7 @@ file: FUNC ID LEFTPAR RIGHTPAR COLON ID EQUAL XOR -file: FUNC ID LEFTPAR RIGHTPAR COLON ID EQUAL ID RIGHTSQ +file: FUNC ID LEFTPAR RIGHTPAR COLON ID EQUAL ID WITH ## ## Ends in an error in state: 325. ## @@ -3644,7 +3644,7 @@ file: FUNC ID LEFTPAR RIGHTPAR COLON ID EQUAL ID AND XOR -file: FUNC ID LEFTPAR ID COLON ID COMMA XOR +file: PRED ID LEFTPAR ID COLON ID COMMA XOR ## ## Ends in an error in state: 329. ## @@ -3656,7 +3656,7 @@ file: FUNC ID LEFTPAR ID COLON ID COMMA XOR -file: FUNC ID LEFTPAR ID XOR +file: PRED ID LEFTPAR ID XOR ## ## Ends in an error in state: 331. ## @@ -3668,7 +3668,7 @@ file: FUNC ID LEFTPAR ID XOR -file: FUNC ID LEFTPAR ID COLON XOR +file: PRED ID LEFTPAR ID COLON XOR ## ## Ends in an error in state: 332. ## @@ -3680,7 +3680,7 @@ file: FUNC ID LEFTPAR ID COLON XOR -file: FUNC ID LEFTPAR ID COLON ID XOR +file: PRED ID LEFTPAR ID COLON ID XOR ## ## Ends in an error in state: 333. ## @@ -3706,7 +3706,7 @@ file: PRED ID EQUAL XOR -file: PRED ID EQUAL ID RIGHTSQ +file: PRED ID EQUAL ID WITH ## ## Ends in an error in state: 336. ## @@ -3922,7 +3922,7 @@ file: GOAL ID COLON XOR -file: GOAL ID COLON ID RIGHTSQ +file: GOAL ID COLON ID WITH ## ## Ends in an error in state: 359. ## @@ -3997,7 +3997,7 @@ file: CHECK_SAT ID COLON XOR -file: CHECK_SAT ID COLON ID RIGHTSQ +file: CHECK_SAT ID COLON ID WITH ## ## Ends in an error in state: 363. ## @@ -4072,7 +4072,7 @@ file: AXIOM ID COLON XOR -file: AXIOM ID COLON ID RIGHTSQ +file: AXIOM ID COLON ID WITH ## ## Ends in an error in state: 367. ## diff --git a/src/languages/smtlib2/v2.6/response/syntax.messages b/src/languages/smtlib2/v2.6/response/syntax.messages index eea6de0f3..8efab45a8 100644 --- a/src/languages/smtlib2/v2.6/response/syntax.messages +++ b/src/languages/smtlib2/v2.6/response/syntax.messages @@ -857,7 +857,7 @@ file: SAT OPEN MODEL UNSAT -file: SAT OPEN OPEN UNSAT +input: SAT OPEN OPEN UNSAT ## ## Ends in an error in state: 6. ## @@ -871,7 +871,7 @@ file: SAT OPEN OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUN_REC UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC UNSAT ## ## Ends in an error in state: 7. ## @@ -883,7 +883,7 @@ file: SAT OPEN OPEN DEFINE_FUN_REC UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL UNSAT ## ## Ends in an error in state: 8. ## @@ -895,7 +895,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN UNSAT ## ## Ends in an error in state: 9. ## @@ -945,7 +945,7 @@ term: OPEN AS SYMBOL OPEN SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 32. ## @@ -957,7 +957,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE UNSAT ## ## Ends in an error in state: 35. ## @@ -969,7 +969,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 36. ## @@ -981,7 +981,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN UNSAT +term: OPEN MATCH OPEN UNSAT ## ## Ends in an error in state: 38. ## @@ -1000,7 +1000,7 @@ term: OPEN SYMBOL OPEN UNSAT -term: OPEN SYMBOL OPEN MATCH UNSAT +term: OPEN MATCH OPEN MATCH UNSAT ## ## Ends in an error in state: 44. ## @@ -1012,7 +1012,7 @@ term: OPEN SYMBOL OPEN MATCH UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL UNSAT ## ## Ends in an error in state: 49. ## @@ -1024,7 +1024,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL OPEN UNSAT ## ## Ends in an error in state: 50. ## @@ -1036,7 +1036,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 67. ## @@ -1048,7 +1048,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN LET UNSAT +term: OPEN MATCH OPEN LET UNSAT ## ## Ends in an error in state: 71. ## @@ -1060,7 +1060,7 @@ term: OPEN SYMBOL OPEN LET UNSAT -term: OPEN SYMBOL OPEN LET OPEN UNSAT +term: OPEN MATCH OPEN LET OPEN UNSAT ## ## Ends in an error in state: 72. ## @@ -1072,7 +1072,7 @@ term: OPEN SYMBOL OPEN LET OPEN UNSAT -term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 80. ## @@ -1084,7 +1084,7 @@ term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 81. ## @@ -1096,7 +1096,7 @@ term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN FORALL UNSAT +term: OPEN MATCH OPEN FORALL UNSAT ## ## Ends in an error in state: 83. ## @@ -1108,7 +1108,7 @@ term: OPEN SYMBOL OPEN FORALL UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN UNSAT +term: OPEN MATCH OPEN FORALL OPEN UNSAT ## ## Ends in an error in state: 84. ## @@ -1120,7 +1120,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 88. ## @@ -1132,7 +1132,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 89. ## @@ -1144,7 +1144,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN EXISTS UNSAT +term: OPEN MATCH OPEN EXISTS UNSAT ## ## Ends in an error in state: 91. ## @@ -1156,7 +1156,7 @@ term: OPEN SYMBOL OPEN EXISTS UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN UNSAT +term: OPEN MATCH OPEN EXISTS OPEN UNSAT ## ## Ends in an error in state: 92. ## @@ -1168,7 +1168,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 94. ## @@ -1180,7 +1180,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 95. ## @@ -1192,7 +1192,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN ATTRIBUTE UNSAT +term: OPEN MATCH OPEN ATTRIBUTE UNSAT ## ## Ends in an error in state: 97. ## @@ -1204,7 +1204,7 @@ term: OPEN SYMBOL OPEN ATTRIBUTE UNSAT -term: OPEN SYMBOL OPEN ATTRIBUTE SYMBOL UNSAT +term: OPEN MATCH OPEN ATTRIBUTE SYMBOL UNSAT ## ## Ends in an error in state: 98. ## @@ -1264,7 +1264,7 @@ term: OPEN ATTRIBUTE SYMBOL KEYWORD OPEN AS EOF -term: OPEN SYMBOL OPEN SYMBOL UNSAT +term: OPEN MATCH OPEN SYMBOL UNSAT ## ## Ends in an error in state: 133. ## @@ -1276,7 +1276,7 @@ term: OPEN SYMBOL OPEN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 139. ## @@ -1288,7 +1288,7 @@ file: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT ## ## Ends in an error in state: 141. ## @@ -1300,7 +1300,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT ## ## Ends in an error in state: 142. ## @@ -1312,7 +1312,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT ## ## Ends in an error in state: 143. ## @@ -1324,7 +1324,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT ## ## Ends in an error in state: 144. ## @@ -1336,7 +1336,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT ## ## Ends in an error in state: 145. ## @@ -1348,7 +1348,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT ## ## Ends in an error in state: 147. ## @@ -1360,7 +1360,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 148. ## @@ -1372,7 +1372,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 151. ## @@ -1384,7 +1384,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN UNSAT ## ## Ends in an error in state: 152. ## @@ -1396,7 +1396,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 154. ## @@ -1408,7 +1408,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 156. ## @@ -1421,7 +1421,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNS -file: SAT OPEN OPEN DEFINE_FUN UNSAT +input: SAT OPEN OPEN DEFINE_FUN UNSAT ## ## Ends in an error in state: 158. ## @@ -1433,7 +1433,7 @@ file: SAT OPEN OPEN DEFINE_FUN UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 159. ## @@ -1445,7 +1445,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 163. ## diff --git a/src/languages/smtlib2/v2.7/response/syntax.messages b/src/languages/smtlib2/v2.7/response/syntax.messages index 6e6f57492..5aea0fe29 100644 --- a/src/languages/smtlib2/v2.7/response/syntax.messages +++ b/src/languages/smtlib2/v2.7/response/syntax.messages @@ -858,7 +858,7 @@ file: SAT OPEN MODEL UNSAT -file: SAT OPEN OPEN UNSAT +input: SAT OPEN OPEN UNSAT ## ## Ends in an error in state: 6. ## @@ -873,7 +873,7 @@ file: SAT OPEN OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUN_REC UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC UNSAT ## ## Ends in an error in state: 7. ## @@ -885,7 +885,7 @@ file: SAT OPEN OPEN DEFINE_FUN_REC UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL UNSAT ## ## Ends in an error in state: 8. ## @@ -897,7 +897,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN UNSAT ## ## Ends in an error in state: 9. ## @@ -947,7 +947,7 @@ term: OPEN AS SYMBOL OPEN SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 32. ## @@ -959,7 +959,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE UNSAT ## ## Ends in an error in state: 35. ## @@ -971,7 +971,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 36. ## @@ -983,7 +983,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN UNSAT +term: OPEN MATCH OPEN UNSAT ## ## Ends in an error in state: 38. ## @@ -1003,7 +1003,7 @@ term: OPEN SYMBOL OPEN UNSAT -term: OPEN SYMBOL OPEN MATCH UNSAT +term: OPEN MATCH OPEN MATCH UNSAT ## ## Ends in an error in state: 44. ## @@ -1015,7 +1015,7 @@ term: OPEN SYMBOL OPEN MATCH UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL UNSAT ## ## Ends in an error in state: 49. ## @@ -1027,7 +1027,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL OPEN UNSAT ## ## Ends in an error in state: 50. ## @@ -1039,7 +1039,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN UNSAT -term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 68. ## @@ -1051,7 +1051,7 @@ term: OPEN SYMBOL OPEN MATCH SYMBOL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN LET UNSAT +term: OPEN MATCH OPEN LET UNSAT ## ## Ends in an error in state: 72. ## @@ -1063,7 +1063,7 @@ term: OPEN SYMBOL OPEN LET UNSAT -term: OPEN SYMBOL OPEN LET OPEN UNSAT +term: OPEN MATCH OPEN LET OPEN UNSAT ## ## Ends in an error in state: 73. ## @@ -1075,7 +1075,7 @@ term: OPEN SYMBOL OPEN LET OPEN UNSAT -term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 81. ## @@ -1087,7 +1087,7 @@ term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 82. ## @@ -1099,7 +1099,7 @@ term: OPEN SYMBOL OPEN LET OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN LAMBDA UNSAT +term: OPEN MATCH OPEN LAMBDA UNSAT ## ## Ends in an error in state: 84. ## @@ -1111,7 +1111,7 @@ term: OPEN SYMBOL OPEN LAMBDA UNSAT -term: OPEN SYMBOL OPEN LAMBDA OPEN UNSAT +term: OPEN MATCH OPEN LAMBDA OPEN UNSAT ## ## Ends in an error in state: 85. ## @@ -1123,7 +1123,7 @@ term: OPEN SYMBOL OPEN LAMBDA OPEN UNSAT -term: OPEN SYMBOL OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 89. ## @@ -1135,7 +1135,7 @@ term: OPEN SYMBOL OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 90. ## @@ -1147,7 +1147,7 @@ term: OPEN SYMBOL OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN FORALL UNSAT +term: OPEN MATCH OPEN FORALL UNSAT ## ## Ends in an error in state: 92. ## @@ -1159,7 +1159,7 @@ term: OPEN SYMBOL OPEN FORALL UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN UNSAT +term: OPEN MATCH OPEN FORALL OPEN UNSAT ## ## Ends in an error in state: 93. ## @@ -1171,7 +1171,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 95. ## @@ -1183,7 +1183,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 96. ## @@ -1195,7 +1195,7 @@ term: OPEN SYMBOL OPEN FORALL OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN EXISTS UNSAT +term: OPEN MATCH OPEN EXISTS UNSAT ## ## Ends in an error in state: 98. ## @@ -1207,7 +1207,7 @@ term: OPEN SYMBOL OPEN EXISTS UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN UNSAT +term: OPEN MATCH OPEN EXISTS OPEN UNSAT ## ## Ends in an error in state: 99. ## @@ -1219,7 +1219,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT +term: OPEN MATCH OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 101. ## @@ -1231,7 +1231,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNSAT -term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT +term: OPEN MATCH OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 102. ## @@ -1243,7 +1243,7 @@ term: OPEN SYMBOL OPEN EXISTS OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNSAT -term: OPEN SYMBOL OPEN ATTRIBUTE UNSAT +term: OPEN MATCH OPEN ATTRIBUTE UNSAT ## ## Ends in an error in state: 104. ## @@ -1255,7 +1255,7 @@ term: OPEN SYMBOL OPEN ATTRIBUTE UNSAT -term: OPEN SYMBOL OPEN ATTRIBUTE SYMBOL UNSAT +term: OPEN MATCH OPEN ATTRIBUTE SYMBOL UNSAT ## ## Ends in an error in state: 105. ## @@ -1315,7 +1315,7 @@ term: OPEN ATTRIBUTE SYMBOL KEYWORD OPEN AS EOF -term: OPEN SYMBOL OPEN SYMBOL UNSAT +term: OPEN MATCH OPEN SYMBOL UNSAT ## ## Ends in an error in state: 142. ## @@ -1327,7 +1327,7 @@ term: OPEN SYMBOL OPEN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 148. ## @@ -1339,7 +1339,7 @@ file: SAT OPEN OPEN DEFINE_FUN_REC SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT ## ## Ends in an error in state: 150. ## @@ -1351,7 +1351,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT ## ## Ends in an error in state: 151. ## @@ -1363,7 +1363,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT ## ## Ends in an error in state: 152. ## @@ -1375,7 +1375,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT ## ## Ends in an error in state: 153. ## @@ -1387,7 +1387,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT ## ## Ends in an error in state: 154. ## @@ -1399,7 +1399,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT ## ## Ends in an error in state: 156. ## @@ -1411,7 +1411,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT ## ## Ends in an error in state: 157. ## @@ -1423,7 +1423,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE UNSAT ## ## Ends in an error in state: 160. ## @@ -1435,7 +1435,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN UNSAT ## ## Ends in an error in state: 161. ## @@ -1447,7 +1447,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLOSE OPEN SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 163. ## @@ -1459,7 +1459,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE CLO -file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 165. ## @@ -1472,7 +1472,7 @@ file: SAT OPEN OPEN DEFINE_FUNS_REC OPEN OPEN SYMBOL OPEN CLOSE SYMBOL CLOSE UNS -file: SAT OPEN OPEN DEFINE_FUN UNSAT +input: SAT OPEN OPEN DEFINE_FUN UNSAT ## ## Ends in an error in state: 167. ## @@ -1484,7 +1484,7 @@ file: SAT OPEN OPEN DEFINE_FUN UNSAT -file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 168. ## @@ -1496,7 +1496,7 @@ file: SAT OPEN OPEN DEFINE_FUN SYMBOL OPEN CLOSE SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_CONST UNSAT +input: SAT OPEN OPEN DEFINE_CONST UNSAT ## ## Ends in an error in state: 170. ## @@ -1508,7 +1508,7 @@ file: SAT OPEN OPEN DEFINE_CONST UNSAT -file: SAT OPEN OPEN DEFINE_CONST SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_CONST SYMBOL UNSAT ## ## Ends in an error in state: 171. ## @@ -1520,7 +1520,7 @@ file: SAT OPEN OPEN DEFINE_CONST SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 172. ## @@ -1532,7 +1532,7 @@ file: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL SYMBOL UNSAT +input: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL SYMBOL UNSAT ## ## Ends in an error in state: 173. ## @@ -1544,7 +1544,7 @@ file: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL SYMBOL UNSAT -file: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL SYMBOL CLOSE UNSAT +input: SAT OPEN OPEN DEFINE_CONST SYMBOL SYMBOL SYMBOL CLOSE UNSAT ## ## Ends in an error in state: 177. ## diff --git a/src/languages/smtlib2/v2.7/script/syntax.messages b/src/languages/smtlib2/v2.7/script/syntax.messages index f3790f7d4..8c730180b 100644 --- a/src/languages/smtlib2/v2.7/script/syntax.messages +++ b/src/languages/smtlib2/v2.7/script/syntax.messages @@ -3751,7 +3751,7 @@ input: OPEN CHECK_SAT_ASSUMING OPEN UNDERSCORE a list of terms a term or a closing parenthesis -file: OPEN ASSERT OPEN LAMBDA UNDERSCORE +term: OPEN MATCH OPEN LAMBDA UNDERSCORE ## ## Ends in an error in state: 148. ## @@ -3763,7 +3763,7 @@ file: OPEN ASSERT OPEN LAMBDA UNDERSCORE -file: OPEN ASSERT OPEN LAMBDA OPEN UNDERSCORE +term: OPEN MATCH OPEN LAMBDA OPEN UNDERSCORE ## ## Ends in an error in state: 149. ## @@ -3775,7 +3775,7 @@ file: OPEN ASSERT OPEN LAMBDA OPEN UNDERSCORE -file: OPEN ASSERT OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNDERSCORE +term: OPEN MATCH OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNDERSCORE ## ## Ends in an error in state: 157. ## @@ -3787,7 +3787,7 @@ file: OPEN ASSERT OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE UNDERSCORE -file: OPEN ASSERT OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNDERSCORE +term: OPEN MATCH OPEN LAMBDA OPEN OPEN SYMBOL SYMBOL CLOSE CLOSE SYMBOL UNDERSCORE ## ## Ends in an error in state: 158. ## diff --git a/src/languages/tptp/v6.3.0/syntax.messages b/src/languages/tptp/v6.3.0/syntax.messages index 10cc22d98..6169de5f2 100644 --- a/src/languages/tptp/v6.3.0/syntax.messages +++ b/src/languages/tptp/v6.3.0/syntax.messages @@ -82,7 +82,7 @@ file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT XOR ## ## Ends in an error in state: 17. ## @@ -94,7 +94,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN XOR ## ## Ends in an error in state: 18. ## @@ -106,7 +106,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT XOR ## ## Ends in an error in state: 19. ## @@ -118,7 +118,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN XOR ## ## Ends in an error in state: 20. ## @@ -130,7 +130,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN XOR ## ## Ends in an error in state: 21. ## @@ -142,7 +142,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T XOR ## ## Ends in an error in state: 22. ## @@ -154,7 +154,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN XOR ## ## Ends in an error in state: 23. ## @@ -166,7 +166,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR ## ## Ends in an error in state: 24. ## @@ -178,7 +178,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR ## ## Ends in an error in state: 25. ## @@ -190,7 +190,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN XOR ## ## Ends in an error in state: 26. ## @@ -202,7 +202,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD ## ## Ends in an error in state: 32. ## @@ -215,7 +215,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LEFT_PAREN XOR ## ## Ends in an error in state: 33. ## @@ -227,7 +227,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTINCT_OBJECT LESS ## ## Ends in an error in state: 34. ## @@ -240,7 +240,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTI -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTINCT_OBJECT COMMA XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTINCT_OBJECT COMMA XOR ## ## Ends in an error in state: 35. ## @@ -252,7 +252,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN DISTI -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WORD +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WORD ## ## Ends in an error in state: 37. ## @@ -265,7 +265,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD LEFT_PAREN XOR ## ## Ends in an error in state: 38. ## @@ -277,7 +277,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD LEFT_PARE -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD UPPER_WORD +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD UPPER_WORD ## ## Ends in an error in state: 50. ## @@ -290,7 +290,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD UPPER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN XOR ## ## Ends in an error in state: 51. ## @@ -302,7 +302,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT LESS ## ## Ends in an error in state: 67. ## @@ -314,7 +314,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN LEFT_PAREN -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT LESS ## ## Ends in an error in state: 69. ## @@ -326,7 +326,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL XOR ## ## Ends in an error in state: 70. ## @@ -338,7 +338,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL XOR ## ## Ends in an error in state: 72. ## @@ -350,7 +350,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET XOR ## ## Ends in an error in state: 73. ## @@ -362,7 +362,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR ## ## Ends in an error in state: 74. ## @@ -375,7 +375,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON XOR ## ## Ends in an error in state: 75. ## @@ -387,7 +387,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD XOR ## ## Ends in an error in state: 79. ## @@ -400,7 +400,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN XOR ## ## Ends in an error in state: 80. ## @@ -412,7 +412,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN LOWER_WORD STAR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN DOLLAR_WORD XOR ## ## Ends in an error in state: 83. ## @@ -422,16 +422,10 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW ## The known suffix of the stack is as follows: ## tff_atomic_type ## -## WARNING: This example involves spurious reductions. -## This implies that, although the LR(1) items shown above provide an -## accurate view of the past (what has been recognized so far), they -## may provide an INCOMPLETE view of the future (what was expected next). -## In state 79, spurious reduction of production tff_atomic_type -> atomic_word -## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN LOWER_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD LEFT_PAREN LOWER_WORD COMMA XOR ## ## Ends in an error in state: 84. ## @@ -443,7 +437,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 88. ## @@ -455,7 +449,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR ## ## Ends in an error in state: 89. ## @@ -467,7 +461,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN FORALL LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON LOWER_WORD STAR ## ## Ends in an error in state: 92. ## @@ -477,10 +471,18 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO ## The known suffix of the stack is as follows: ## tff_variable ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 79, spurious reduction of production tff_atomic_type -> atomic_word +## In state 77, spurious reduction of production tff_typed_variable -> variable COLON tff_atomic_type +## In state 95, spurious reduction of production tff_variable -> tff_typed_variable +## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR ## ## Ends in an error in state: 93. ## @@ -492,7 +494,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT LESS ## ## Ends in an error in state: 96. ## @@ -504,7 +506,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_O -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA XOR ## ## Ends in an error in state: 97. ## @@ -516,7 +518,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_O -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR ## ## Ends in an error in state: 98. ## @@ -528,7 +530,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR ## ## Ends in an error in state: 99. ## @@ -540,7 +542,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL XOR ## ## Ends in an error in state: 100. ## @@ -552,7 +554,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET XOR ## ## Ends in an error in state: 101. ## @@ -564,7 +566,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 103. ## @@ -576,7 +578,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR ## ## Ends in an error in state: 104. ## @@ -588,7 +590,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN FORALL LEF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT DISTINCT_OBJECT LESS ## ## Ends in an error in state: 107. ## @@ -600,7 +602,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT DISTINCT_OBJECT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD EQUAL XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD EQUAL XOR ## ## Ends in an error in state: 110. ## @@ -612,7 +614,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD EQUAL XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD STAR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD STAR ## ## Ends in an error in state: 112. ## @@ -632,7 +634,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD STAR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD STAR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD STAR ## ## Ends in an error in state: 114. ## @@ -652,7 +654,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD STAR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD STAR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD STAR ## ## Ends in an error in state: 116. ## @@ -672,7 +674,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD STAR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 120. ## @@ -694,7 +696,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV XOR ## ## Ends in an error in state: 121. ## @@ -706,7 +708,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET LEFT_PAREN XOR ## ## Ends in an error in state: 122. ## @@ -718,7 +720,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR ## ## Ends in an error in state: 123. ## @@ -730,7 +732,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN XOR ## ## Ends in an error in state: 124. ## @@ -742,7 +744,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR ## ## Ends in an error in state: 128. ## @@ -754,7 +756,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 134. ## @@ -767,7 +769,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD NOT_EQUAL XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD NOT_EQUAL XOR ## ## Ends in an error in state: 136. ## @@ -779,7 +781,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD NOT_EQUAL XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR ## ## Ends in an error in state: 138. ## @@ -791,7 +793,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR ## ## Ends in an error in state: 139. ## @@ -803,7 +805,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 141. ## @@ -815,7 +817,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR ## ## Ends in an error in state: 142. ## @@ -827,7 +829,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_PAREN STAR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_PAREN LESS ## ## Ends in an error in state: 146. ## @@ -842,7 +844,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR ## ## Ends in an error in state: 148. ## @@ -854,7 +856,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR ## ## Ends in an error in state: 155. ## @@ -866,7 +868,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR ## ## Ends in an error in state: 157. ## @@ -878,7 +880,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD XOR ## ## Ends in an error in state: 159. ## @@ -903,7 +905,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD VLINE XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD VLINE XOR ## ## Ends in an error in state: 160. ## @@ -915,7 +917,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD RIGHT_PAREN +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 162. ## @@ -939,7 +941,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 163. ## @@ -951,7 +953,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD RIGHT_PAREN +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 164. ## @@ -975,7 +977,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 165. ## @@ -987,7 +989,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD COMMA DOLLAR_WORD COMMA +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD COMMA DOLLAR_WORD COMMA DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 166. ## @@ -1011,7 +1013,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD XOR ## ## Ends in an error in state: 171. ## @@ -1036,7 +1038,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD AND XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD AND XOR ## ## Ends in an error in state: 172. ## @@ -1048,7 +1050,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD COMMA +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 174. ## @@ -1072,7 +1074,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD COMMA -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 177. ## @@ -1097,7 +1099,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 178. ## @@ -1109,7 +1111,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR ## ## Ends in an error in state: 179. ## @@ -1123,7 +1125,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR ## ## Ends in an error in state: 180. ## @@ -1136,7 +1138,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIGHT_PAREN +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIGHT_PAREN ## ## Ends in an error in state: 184. ## @@ -1161,7 +1163,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIG -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COMMA XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 185. ## @@ -1173,7 +1175,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COM -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD ## ## Ends in an error in state: 187. ## @@ -1187,7 +1189,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD UPPER_WORD -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON XOR ## ## Ends in an error in state: 189. ## @@ -1199,7 +1201,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON XOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN XOR ## ## Ends in an error in state: 190. ## @@ -1212,7 +1214,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY XOR ## ## Ends in an error in state: 191. ## @@ -1224,7 +1226,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET XOR ## ## Ends in an error in state: 192. ## @@ -1236,7 +1238,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 194. ## @@ -1248,7 +1250,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR ## ## Ends in an error in state: 195. ## @@ -1260,7 +1262,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN XOR ## ## Ends in an error in state: 196. ## @@ -1272,7 +1274,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LEFT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LEFT_PAREN XOR ## ## Ends in an error in state: 197. ## @@ -1284,7 +1286,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR LOWER_WORD RIGHT_BRACKET ## ## Ends in an error in state: 198. ## @@ -1294,10 +1296,17 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF ## The known suffix of the stack is as follows: ## LEFT_PAREN tff_xprod_type ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 79, spurious reduction of production tff_atomic_type -> atomic_word +## In state 204, spurious reduction of production tff_xprod_type -> tff_unitary_type STAR tff_atomic_type +## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR LOWER_WORD STAR XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR LOWER_WORD STAR XOR ## ## Ends in an error in state: 199. ## @@ -1309,7 +1318,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LEFT_PAREN DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LEFT_PAREN LOWER_WORD RIGHT_PAREN ## ## Ends in an error in state: 202. ## @@ -1318,10 +1327,17 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR ## The known suffix of the stack is as follows: ## tff_unitary_type ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 79, spurious reduction of production tff_atomic_type -> atomic_word +## In state 205, spurious reduction of production tff_unitary_type -> tff_atomic_type +## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD STAR XOR ## ## Ends in an error in state: 203. ## @@ -1333,7 +1349,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD STAR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD STAR ## ## Ends in an error in state: 206. ## @@ -1352,7 +1368,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD ARROW XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD ARROW XOR ## ## Ends in an error in state: 207. ## @@ -1364,7 +1380,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LOWER_WORD ARROW DOLLAR_WORD XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FORALL_TY LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON LEFT_PAREN LOWER_WORD ARROW LOWER_WORD STAR ## ## Ends in an error in state: 209. ## @@ -1373,10 +1389,17 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON FOR ## The known suffix of the stack is as follows: ## LEFT_PAREN tff_mapping_type ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 79, spurious reduction of production tff_atomic_type -> atomic_word +## In state 208, spurious reduction of production tff_mapping_type -> tff_unitary_type ARROW tff_atomic_type +## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LEFT_PAREN LOWER_WORD STAR LOWER_WORD RIGHT_PAREN XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LEFT_PAREN LOWER_WORD STAR LOWER_WORD RIGHT_PAREN XOR ## ## Ends in an error in state: 213. ## @@ -1389,7 +1412,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD COMMA +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEFT_PAREN LOWER_WORD COMMA ## ## Ends in an error in state: 214. ## @@ -1408,7 +1431,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LEF -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOWER_WORD RIGHT_BRACKET +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON DOLLAR_WORD XOR ## ## Ends in an error in state: 218. ## @@ -1418,16 +1441,10 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD COLON LOW ## The known suffix of the stack is as follows: ## tff_atomic_type ## -## WARNING: This example involves spurious reductions. -## This implies that, although the LR(1) items shown above provide an -## accurate view of the past (what has been recognized so far), they -## may provide an INCOMPLETE view of the future (what was expected next). -## In state 79, spurious reduction of production tff_atomic_type -> atomic_word -## -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_DOLLAR_WORD COLON LOWER_WORD COMMA +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_DOLLAR_WORD COLON LOWER_WORD COMMA ## ## Ends in an error in state: 220. ## @@ -1447,7 +1464,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 222. ## @@ -1459,7 +1476,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET X -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR ## ## Ends in an error in state: 223. ## @@ -1471,7 +1488,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET G -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 225. ## @@ -1483,7 +1500,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGH -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WORD +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WORD ## ## Ends in an error in state: 227. ## @@ -1497,7 +1514,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_DOLLAR_WORD UPPER_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA DOLLAR_WORD RIGHT_BRACKET +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA DOLLAR_WORD COMMA ## ## Ends in an error in state: 231. ## @@ -1522,7 +1539,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN DOLLAR_WOR -file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA DOLLAR_WORD RIGHT_BRACKET +input: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA DOLLAR_WORD COMMA ## ## Ends in an error in state: 233. ## @@ -1547,7 +1564,7 @@ file: TFF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD RIGHT_PAREN +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 235. ## @@ -1571,7 +1588,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 236. ## @@ -1583,7 +1600,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 237. ## @@ -1595,7 +1612,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT COMMA XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT COMMA XOR ## ## Ends in an error in state: 238. ## @@ -1607,7 +1624,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT COMMA DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD COMMA DISTINCT_OBJECT COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 239. ## @@ -1619,7 +1636,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_T LEFT_PAREN DOLLAR_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 241. ## @@ -1643,7 +1660,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN LEFT_PAREN -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 243. ## @@ -1668,7 +1685,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 244. ## @@ -1680,7 +1697,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WORD EQUIV DOLLAR_WORD COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 245. ## @@ -1692,7 +1709,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FT LEFT_PAREN DOLLAR_WOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT LESS ## ## Ends in an error in state: 247. ## @@ -1704,7 +1721,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA XOR ## ## Ends in an error in state: 248. ## @@ -1716,7 +1733,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA DISTINCT_OBJECT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_OBJECT EQUAL DISTINCT_OBJECT COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 249. ## @@ -1728,7 +1745,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TT LEFT_PAREN DISTINCT_O -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR ## ## Ends in an error in state: 251. ## @@ -1741,7 +1758,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR ## ## Ends in an error in state: 252. ## @@ -1754,7 +1771,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET LEFT_PAREN XOR ## ## Ends in an error in state: 254. ## @@ -1766,7 +1783,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR ## ## Ends in an error in state: 255. ## @@ -1778,7 +1795,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR ## ## Ends in an error in state: 256. ## @@ -1790,7 +1807,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR ## ## Ends in an error in state: 257. ## @@ -1802,7 +1819,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR ## ## Ends in an error in state: 258. ## @@ -1815,7 +1832,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR ## ## Ends in an error in state: 259. ## @@ -1827,7 +1844,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 262. ## @@ -1839,7 +1856,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON XOR ## ## Ends in an error in state: 263. ## @@ -1851,7 +1868,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_PAREN STAR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_PAREN LESS ## ## Ends in an error in state: 270. ## @@ -1866,7 +1883,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR ## ## Ends in an error in state: 271. ## @@ -1878,7 +1895,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR ## ## Ends in an error in state: 273. ## @@ -1890,7 +1907,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR ## ## Ends in an error in state: 275. ## @@ -1902,7 +1919,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD EQUIV XOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD XOR ## ## Ends in an error in state: 277. ## @@ -1927,7 +1944,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD VLINE XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WORD VLINE XOR ## ## Ends in an error in state: 278. ## @@ -1939,7 +1956,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE DOLLAR_WOR -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD COMMA +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 280. ## @@ -1963,7 +1980,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD COMMA -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD XOR ## ## Ends in an error in state: 285. ## @@ -1988,7 +2005,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD AND XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD AND XOR ## ## Ends in an error in state: 286. ## @@ -2000,7 +2017,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD AND DOLLAR_WORD -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIGHT_PAREN +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIGHT_PAREN ## ## Ends in an error in state: 290. ## @@ -2025,7 +2042,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD RIG -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COMMA XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 291. ## @@ -2037,7 +2054,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DOLLAR_WORD COM -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 293. ## @@ -2049,7 +2066,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET X -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR ## ## Ends in an error in state: 294. ## @@ -2061,7 +2078,7 @@ file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET G -file: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR +input: FOF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 296. ## @@ -2099,7 +2116,7 @@ file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD RIGHT_BRACKET -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA XOR ## ## Ends in an error in state: 299. ## @@ -2111,7 +2128,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET XOR ## ## Ends in an error in state: 300. ## @@ -2124,7 +2141,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACK -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF XOR ## ## Ends in an error in state: 302. ## @@ -2136,7 +2153,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF LEFT_PAREN TPI +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF LEFT_PAREN TPI ## ## Ends in an error in state: 303. ## @@ -2148,7 +2165,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR ## ## Ends in an error in state: 307. ## @@ -2160,7 +2177,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR ## ## Ends in an error in state: 308. ## @@ -2172,7 +2189,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR ## ## Ends in an error in state: 314. ## @@ -2184,7 +2201,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR ## ## Ends in an error in state: 315. ## @@ -2196,7 +2213,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD XOR ## ## Ends in an error in state: 316. ## @@ -2209,7 +2226,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON TPI ## ## Ends in an error in state: 317. ## @@ -2221,7 +2238,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR ## ## Ends in an error in state: 318. ## @@ -2233,7 +2250,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR ## ## Ends in an error in state: 319. ## @@ -2245,7 +2262,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT LESS ## ## Ends in an error in state: 321. ## @@ -2257,7 +2274,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA TPI ## ## Ends in an error in state: 322. ## @@ -2269,7 +2286,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN TPI ## ## Ends in an error in state: 323. ## @@ -2283,7 +2300,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET TPI ## ## Ends in an error in state: 324. ## @@ -2296,7 +2313,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET LEFT_PAREN TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET LEFT_PAREN TPI ## ## Ends in an error in state: 326. ## @@ -2309,7 +2326,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET LEFT_PAREN TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR ## ## Ends in an error in state: 327. ## @@ -2321,7 +2338,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN TPI ## ## Ends in an error in state: 328. ## @@ -2333,7 +2350,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINCT_OBJECT LESS ## ## Ends in an error in state: 331. ## @@ -2346,7 +2363,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINC -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINCT_OBJECT STAR TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINCT_OBJECT STAR TPI ## ## Ends in an error in state: 332. ## @@ -2358,7 +2375,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR DISTINC -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV LEFT_PAREN TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE LEFT_PAREN TPI ## ## Ends in an error in state: 333. ## @@ -2370,7 +2387,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV LEFT_P -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR TPI ## ## Ends in an error in state: 335. ## @@ -2382,7 +2399,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT STAR TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT UPPER_WORD +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT UPPER_WORD ## ## Ends in an error in state: 339. ## @@ -2395,7 +2412,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT UPPER_WORD -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN TPI ## ## Ends in an error in state: 340. ## @@ -2407,7 +2424,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJECT RIGHT_PAREN COLON +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJECT RIGHT_PAREN LESS ## ## Ends in an error in state: 341. ## @@ -2424,7 +2441,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJE -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE TPI ## ## Ends in an error in state: 342. ## @@ -2436,7 +2453,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY TPI ## ## Ends in an error in state: 356. ## @@ -2448,7 +2465,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND TPI ## ## Ends in an error in state: 358. ## @@ -2460,7 +2477,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUAL TPI ## ## Ends in an error in state: 360. ## @@ -2472,7 +2489,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINCT_OBJECT LESS ## ## Ends in an error in state: 362. ## @@ -2485,7 +2502,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINC -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINCT_OBJECT PLUS TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINCT_OBJECT PLUS TPI ## ## Ends in an error in state: 363. ## @@ -2497,7 +2514,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS DISTINC -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT COLON TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT COLON TPI ## ## Ends in an error in state: 366. ## @@ -2509,7 +2526,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT COLON TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTINCT_OBJECT LESS ## ## Ends in an error in state: 370. ## @@ -2522,7 +2539,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTIN -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTINCT_OBJECT VLINE TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTINCT_OBJECT VLINE TPI ## ## Ends in an error in state: 371. ## @@ -2534,7 +2551,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE DISTIN -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT UPPER_WORD +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT LESS ## ## Ends in an error in state: 379. ## @@ -2547,7 +2564,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT UPPER_WORD -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTINCT_OBJECT LESS ## ## Ends in an error in state: 380. ## @@ -2560,7 +2577,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTIN -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTINCT_OBJECT APPLY TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTINCT_OBJECT APPLY TPI ## ## Ends in an error in state: 381. ## @@ -2572,7 +2589,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT APPLY DISTIN -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT_OBJECT LESS ## ## Ends in an error in state: 383. ## @@ -2585,7 +2602,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT_OBJECT AND TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT_OBJECT AND TPI ## ## Ends in an error in state: 384. ## @@ -2597,7 +2614,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT AND DISTINCT -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS XOR ## ## Ends in an error in state: 387. ## @@ -2609,7 +2626,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS LESS XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS LESS XOR ## ## Ends in an error in state: 389. ## @@ -2621,7 +2638,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LOWER_WORD LESS LESS XOR -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 392. ## @@ -2640,7 +2657,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT LEFT_PAREN DISTINCT_OBJE -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS TPI ## ## Ends in an error in state: 394. ## @@ -2652,7 +2669,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT PLUS TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW TPI ## ## Ends in an error in state: 396. ## @@ -2665,7 +2682,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW TPI -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW DISTINCT_OBJECT LESS ## ## Ends in an error in state: 397. ## @@ -2679,7 +2696,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT ARROW DISTIN -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV LEFT_PAREN DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT VLINE LEFT_PAREN DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 399. ## @@ -2698,7 +2715,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DISTINCT_OBJECT EQUIV LEFT_P -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT RIGHT_PAREN +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 402. ## @@ -2717,7 +2734,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OB -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA TPI ## ## Ends in an error in state: 403. ## @@ -2729,7 +2746,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OB -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT RIGHT_PAREN +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 404. ## @@ -2748,7 +2765,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OB -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA TPI ## ## Ends in an error in state: 405. ## @@ -2760,7 +2777,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OB -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 406. ## @@ -2779,7 +2796,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA ITE_F LEFT_PAREN DISTINCT_OB -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 408. ## @@ -2799,7 +2816,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT C -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT RIGHT_PAREN UPPER_WORD +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT RIGHT_PAREN UPPER_WORD ## ## Ends in an error in state: 409. ## @@ -2812,7 +2829,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DISTINCT_OBJECT R -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT RIGHT_PAREN +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT RIGHT_PAREN ## ## Ends in an error in state: 412. ## @@ -2832,7 +2849,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT COMMA TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT COMMA TPI ## ## Ends in an error in state: 413. ## @@ -2844,7 +2861,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET DISTINCT_OBJECT -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 415. ## @@ -2856,7 +2873,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET X -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW XOR ## ## Ends in an error in state: 416. ## @@ -2868,7 +2885,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_BRACKET RIGHT_BRACKET G -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGHT_BRACKET GENTZEN_ARROW LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 418. ## @@ -2880,7 +2897,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN LEFT_BRACKET RIGH -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 422. ## @@ -2900,7 +2917,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_FF LEFT_PAREN EXISTS LEF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET XOR ## ## Ends in an error in state: 426. ## @@ -2912,7 +2929,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON TPI ## ## Ends in an error in state: 427. ## @@ -2924,7 +2941,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON DISTINCT_OBJECT RIGHT_PAREN +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COLON DISTINCT_OBJECT RIGHT_PAREN ## ## Ends in an error in state: 429. ## @@ -2947,7 +2964,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WORD COMMA XOR ## ## Ends in an error in state: 430. ## @@ -2959,7 +2976,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA EXISTS LEFT_BRACKET UPPER_WO -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT XOR +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT LESS ## ## Ends in an error in state: 434. ## @@ -2971,7 +2988,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA TPI +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA TPI ## ## Ends in an error in state: 435. ## @@ -2983,7 +3000,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEF -file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA DISTINCT_OBJECT COMMA +input: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEFT_BRACKET UPPER_WORD RIGHT_BRACKET COLON DISTINCT_OBJECT COMMA DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 436. ## @@ -3003,7 +3020,7 @@ file: THF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LET_TF LEFT_PAREN EXISTS LEF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF LEFT_PAREN DISTINCT_OBJECT COMMA +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF LEFT_PAREN DISTINCT_OBJECT RIGHT_BRACKET ## ## Ends in an error in state: 438. ## @@ -3023,7 +3040,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_THF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF XOR ## ## Ends in an error in state: 440. ## @@ -3035,7 +3052,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF LEFT_PAREN XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF LEFT_PAREN XOR ## ## Ends in an error in state: 441. ## @@ -3047,7 +3064,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF LEFT_PAREN DOLLAR_WORD COMMA ## ## Ends in an error in state: 442. ## @@ -3072,7 +3089,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_TFF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT XOR ## ## Ends in an error in state: 444. ## @@ -3084,7 +3101,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT LEFT_PAREN XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT LEFT_PAREN XOR ## ## Ends in an error in state: 445. ## @@ -3096,7 +3113,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT LEFT_PAREN DISTINCT_OBJECT XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT LEFT_PAREN DISTINCT_OBJECT LESS ## ## Ends in an error in state: 446. ## @@ -3108,7 +3125,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOT -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF XOR ## ## Ends in an error in state: 448. ## @@ -3120,7 +3137,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF LEFT_PAREN XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF LEFT_PAREN XOR ## ## Ends in an error in state: 449. ## @@ -3132,7 +3149,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF LEFT_PAREN DOLLAR_WORD COMMA +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 452. ## @@ -3157,7 +3174,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_FOF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF XOR ## ## Ends in an error in state: 454. ## @@ -3169,7 +3186,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF LEFT_PAREN XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF LEFT_PAREN XOR ## ## Ends in an error in state: 455. ## @@ -3181,7 +3198,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR ## ## Ends in an error in state: 456. ## @@ -3193,7 +3210,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR ## ## Ends in an error in state: 457. ## @@ -3205,7 +3222,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA NOT XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 461. ## @@ -3230,7 +3247,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA LEFT_PAREN DOLLAR_WORD XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR ## ## Ends in an error in state: 462. ## @@ -3242,7 +3259,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD VLINE XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD XOR +input: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD RIGHT_BRACKET ## ## Ends in an error in state: 466. ## @@ -3267,7 +3284,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD XOR -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF LEFT_PAREN DOLLAR_WORD COMMA +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF LEFT_PAREN DOLLAR_WORD COMMA ## ## Ends in an error in state: 467. ## @@ -3292,7 +3309,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DOLLAR_CNF -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LOWER_WORD RIGHT_PAREN +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LOWER_WORD RIGHT_PAREN ## ## Ends in an error in state: 471. ## @@ -3312,7 +3329,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACK -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LEFT_BRACKET RIGHT_BRACKET XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LEFT_BRACKET RIGHT_BRACKET XOR ## ## Ends in an error in state: 473. ## @@ -3325,7 +3342,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACK -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LOWER_WORD COMMA XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACKET LOWER_WORD COMMA XOR ## ## Ends in an error in state: 474. ## @@ -3337,7 +3354,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LEFT_BRACK -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DISTINCT_OBJECT XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DISTINCT_OBJECT XOR ## ## Ends in an error in state: 478. ## @@ -3350,7 +3367,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA DISTINCT_O -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD COLON XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD COLON XOR ## ## Ends in an error in state: 479. ## @@ -3362,7 +3379,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD XOR ## ## Ends in an error in state: 483. ## @@ -3375,7 +3392,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD LEFT_PAREN XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD LEFT_PAREN XOR ## ## Ends in an error in state: 484. ## @@ -3387,7 +3404,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD LEFT_PAREN LOWER_WORD RIGHT_BRACKET +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD LEFT_PAREN LOWER_WORD RIGHT_BRACKET ## ## Ends in an error in state: 485. ## @@ -3407,7 +3424,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD RIGHT_BRACKET +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD RIGHT_BRACKET ## ## Ends in an error in state: 487. ## @@ -3427,7 +3444,7 @@ file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD -file: CNF LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD COMMA XOR +file: TPI LEFT_PAREN INTEGER COMMA LOWER_WORD COMMA DOLLAR_WORD COMMA LOWER_WORD COMMA XOR ## ## Ends in an error in state: 488. ## diff --git a/src/languages/zf/syntax.messages b/src/languages/zf/syntax.messages index a30c84779..1f6abcbc5 100644 --- a/src/languages/zf/syntax.messages +++ b/src/languages/zf/syntax.messages @@ -22,7 +22,7 @@ file: VAL WITH -file: ASSERT LEFT_BRACKET WITH +file: VAL LEFT_BRACKET WITH ## ## Ends in an error in state: 2. ## @@ -34,7 +34,7 @@ file: ASSERT LEFT_BRACKET WITH -file: ASSERT LEFT_BRACKET LEFT_PAREN WITH +file: VAL LEFT_BRACKET LEFT_PAREN WITH ## ## Ends in an error in state: 6. ## @@ -46,7 +46,7 @@ file: ASSERT LEFT_BRACKET LEFT_PAREN WITH -file: ASSERT LEFT_BRACKET LOWER_WORD WITH +file: VAL LEFT_BRACKET LOWER_WORD WITH ## ## Ends in an error in state: 7. ## @@ -59,7 +59,7 @@ file: ASSERT LEFT_BRACKET LOWER_WORD WITH -file: ASSERT LEFT_BRACKET LOWER_WORD LOWER_WORD WITH +file: VAL LEFT_BRACKET LOWER_WORD LOWER_WORD WITH ## ## Ends in an error in state: 11. ## @@ -72,7 +72,7 @@ file: ASSERT LEFT_BRACKET LOWER_WORD LOWER_WORD WITH -file: ASSERT LEFT_BRACKET LEFT_PAREN QUOTED WITH +file: VAL LEFT_BRACKET LEFT_PAREN LOWER_WORD RIGHT_BRACKET ## ## Ends in an error in state: 13. ## @@ -81,10 +81,17 @@ file: ASSERT LEFT_BRACKET LEFT_PAREN QUOTED WITH ## The known suffix of the stack is as follows: ## LEFT_PAREN attr ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 7, spurious reduction of production atomic_attr -> raw_var +## In state 15, spurious reduction of production attr -> atomic_attr +## -file: ASSERT LEFT_BRACKET QUOTED WITH +file: VAL LEFT_BRACKET LOWER_WORD RIGHT_PAREN ## ## Ends in an error in state: 18. ## @@ -94,10 +101,17 @@ file: ASSERT LEFT_BRACKET QUOTED WITH ## The known suffix of the stack is as follows: ## attr ## +## WARNING: This example involves spurious reductions. +## This implies that, although the LR(1) items shown above provide an +## accurate view of the past (what has been recognized so far), they +## may provide an INCOMPLETE view of the future (what was expected next). +## In state 7, spurious reduction of production atomic_attr -> raw_var +## In state 15, spurious reduction of production attr -> atomic_attr +## -file: ASSERT LEFT_BRACKET LOWER_WORD COMMA WITH +file: VAL LEFT_BRACKET LOWER_WORD COMMA WITH ## ## Ends in an error in state: 19. ## @@ -145,7 +159,7 @@ file: VAL LOWER_WORD COLON WITH -file: ASSERT PI WITH +file: REWRITE PI WITH ## ## Ends in an error in state: 27. ## @@ -157,7 +171,7 @@ file: ASSERT PI WITH -file: ASSERT PI LEFT_PAREN WITH +file: REWRITE PI LEFT_PAREN WITH ## ## Ends in an error in state: 28. ## @@ -169,7 +183,7 @@ file: ASSERT PI LEFT_PAREN WITH -file: ASSERT FUN LEFT_PAREN LOWER_WORD WITH +file: REWRITE LOGIC_FORALL LEFT_PAREN LOWER_WORD WITH ## ## Ends in an error in state: 29. ## @@ -182,7 +196,7 @@ file: ASSERT FUN LEFT_PAREN LOWER_WORD WITH -file: ASSERT PI LEFT_PAREN LOWER_WORD COLON WITH +file: REWRITE PI LEFT_PAREN LOWER_WORD COLON WITH ## ## Ends in an error in state: 32. ## @@ -194,7 +208,7 @@ file: ASSERT PI LEFT_PAREN LOWER_WORD COLON WITH -file: ASSERT PI LEFT_PAREN LOWER_WORD COLON TYPE WITH +file: REWRITE PI LEFT_PAREN LOWER_WORD COLON TYPE WITH ## ## Ends in an error in state: 34. ## @@ -206,7 +220,7 @@ file: ASSERT PI LEFT_PAREN LOWER_WORD COLON TYPE WITH -file: ASSERT PI LOWER_WORD DOT WITH +file: REWRITE PI LOWER_WORD DOT WITH ## ## Ends in an error in state: 37. ## @@ -218,7 +232,7 @@ file: ASSERT PI LOWER_WORD DOT WITH -file: ASSERT MATCH WITH +file: REWRITE MATCH WITH ## ## Ends in an error in state: 38. ## @@ -230,7 +244,7 @@ file: ASSERT MATCH WITH -file: ASSERT LOGIC_NOT WITH +file: REWRITE LOGIC_NOT WITH ## ## Ends in an error in state: 40. ## @@ -242,7 +256,7 @@ file: ASSERT LOGIC_NOT WITH -file: ASSERT LEFT_PAREN WITH +file: REWRITE LEFT_PAREN WITH ## ## Ends in an error in state: 42. ## @@ -254,7 +268,7 @@ file: ASSERT LEFT_PAREN WITH -file: ASSERT LOGIC_FORALL WITH +file: REWRITE LOGIC_FORALL WITH ## ## Ends in an error in state: 43. ## @@ -266,7 +280,7 @@ file: ASSERT LOGIC_FORALL WITH -file: ASSERT FUN LEFT_PAREN WITH +file: REWRITE LOGIC_FORALL LEFT_PAREN WITH ## ## Ends in an error in state: 44. ## @@ -278,7 +292,7 @@ file: ASSERT FUN LEFT_PAREN WITH -file: ASSERT FUN LEFT_PAREN LOWER_WORD COLON WITH +file: REWRITE LOGIC_FORALL LEFT_PAREN LOWER_WORD COLON WITH ## ## Ends in an error in state: 46. ## @@ -290,7 +304,7 @@ file: ASSERT FUN LEFT_PAREN LOWER_WORD COLON WITH -file: ASSERT LOGIC_EXISTS WITH +file: REWRITE LOGIC_EXISTS WITH ## ## Ends in an error in state: 47. ## @@ -302,7 +316,7 @@ file: ASSERT LOGIC_EXISTS WITH -file: ASSERT LOGIC_EXISTS LOWER_WORD DOT WITH +file: REWRITE LOGIC_EXISTS LOWER_WORD DOT WITH ## ## Ends in an error in state: 50. ## @@ -314,7 +328,7 @@ file: ASSERT LOGIC_EXISTS LOWER_WORD DOT WITH -file: ASSERT IF WITH +file: REWRITE IF WITH ## ## Ends in an error in state: 53. ## @@ -326,7 +340,7 @@ file: ASSERT IF WITH -file: ASSERT FUN WITH +file: REWRITE FUN WITH ## ## Ends in an error in state: 54. ## @@ -338,7 +352,7 @@ file: ASSERT FUN WITH -file: ASSERT FUN LOWER_WORD DOT WITH +file: REWRITE FUN LOWER_WORD DOT WITH ## ## Ends in an error in state: 56. ## @@ -350,7 +364,7 @@ file: ASSERT FUN LOWER_WORD DOT WITH -file: ASSERT ARITH_MINUS WITH +file: REWRITE ARITH_MINUS WITH ## ## Ends in an error in state: 57. ## @@ -362,7 +376,7 @@ file: ASSERT ARITH_MINUS WITH -file: ASSERT INT VAL +file: REWRITE INT VAL ## ## Ends in an error in state: 62. ## @@ -375,7 +389,7 @@ file: ASSERT INT VAL -file: ASSERT INT INT VAL +file: REWRITE INT INT VAL ## ## Ends in an error in state: 64. ## @@ -388,7 +402,7 @@ file: ASSERT INT INT VAL -file: ASSERT INT ARITH_LT WITH +file: REWRITE INT ARITH_LT WITH ## ## Ends in an error in state: 69. ## @@ -400,7 +414,7 @@ file: ASSERT INT ARITH_LT WITH -file: ASSERT INT ARITH_PLUS WITH +file: REWRITE INT ARITH_PLUS WITH ## ## Ends in an error in state: 72. ## @@ -412,7 +426,7 @@ file: ASSERT INT ARITH_PLUS WITH -file: ASSERT LOGIC_NOT INT ARROW +file: REWRITE LOGIC_NOT INT ARROW ## ## Ends in an error in state: 74. ## @@ -431,7 +445,7 @@ file: ASSERT LOGIC_NOT INT ARROW -file: ASSERT INT ARITH_PRODUCT WITH +file: REWRITE INT ARITH_PRODUCT WITH ## ## Ends in an error in state: 75. ## @@ -443,7 +457,7 @@ file: ASSERT INT ARITH_PRODUCT WITH -file: ASSERT INT ARITH_MINUS WITH +file: REWRITE INT ARITH_MINUS WITH ## ## Ends in an error in state: 77. ## @@ -455,7 +469,7 @@ file: ASSERT INT ARITH_MINUS WITH -file: ASSERT INT ARITH_LEQ WITH +file: REWRITE INT ARITH_LEQ WITH ## ## Ends in an error in state: 79. ## @@ -467,7 +481,7 @@ file: ASSERT INT ARITH_LEQ WITH -file: ASSERT INT ARITH_GT WITH +file: REWRITE INT ARITH_GT WITH ## ## Ends in an error in state: 81. ## @@ -479,7 +493,7 @@ file: ASSERT INT ARITH_GT WITH -file: ASSERT INT ARITH_GEQ WITH +file: REWRITE INT ARITH_GEQ WITH ## ## Ends in an error in state: 83. ## @@ -491,7 +505,7 @@ file: ASSERT INT ARITH_GEQ WITH -file: ASSERT INT ARITH_GEQ INT ARITH_LT +file: REWRITE INT ARITH_GEQ INT ARITH_LT ## ## Ends in an error in state: 86. ## @@ -515,7 +529,7 @@ file: ASSERT INT ARITH_GEQ INT ARITH_LT -file: ASSERT INT LOGIC_NEQ WITH +file: REWRITE INT LOGIC_NEQ WITH ## ## Ends in an error in state: 87. ## @@ -527,7 +541,7 @@ file: ASSERT INT LOGIC_NEQ WITH -file: ASSERT INT LOGIC_EQ WITH +file: REWRITE INT LOGIC_EQ WITH ## ## Ends in an error in state: 90. ## @@ -539,7 +553,7 @@ file: ASSERT INT LOGIC_EQ WITH -file: ASSERT INT LOGIC_EQ INT LOGIC_NEQ +file: REWRITE INT LOGIC_EQ INT LOGIC_NEQ ## ## Ends in an error in state: 92. ## @@ -563,7 +577,7 @@ file: ASSERT INT LOGIC_EQ INT LOGIC_NEQ -file: ASSERT INT LOGIC_AND WITH +file: REWRITE INT LOGIC_AND WITH ## ## Ends in an error in state: 93. ## @@ -575,7 +589,7 @@ file: ASSERT INT LOGIC_AND WITH -file: ASSERT INT ARROW WITH +file: REWRITE INT ARROW WITH ## ## Ends in an error in state: 96. ## @@ -587,7 +601,7 @@ file: ASSERT INT ARROW WITH -file: ASSERT INT LOGIC_OR WITH +file: REWRITE INT LOGIC_OR WITH ## ## Ends in an error in state: 99. ## @@ -599,7 +613,7 @@ file: ASSERT INT LOGIC_OR WITH -file: ASSERT INT LOGIC_IMPLY WITH +file: REWRITE INT LOGIC_IMPLY WITH ## ## Ends in an error in state: 101. ## @@ -611,7 +625,7 @@ file: ASSERT INT LOGIC_IMPLY WITH -file: ASSERT INT LOGIC_EQUIV WITH +file: REWRITE INT LOGIC_EQUIV WITH ## ## Ends in an error in state: 103. ## @@ -623,7 +637,7 @@ file: ASSERT INT LOGIC_EQUIV WITH -file: ASSERT FUN LOWER_WORD WITH +file: REWRITE LOGIC_FORALL LOWER_WORD WITH ## ## Ends in an error in state: 105. ## @@ -636,7 +650,7 @@ file: ASSERT FUN LOWER_WORD WITH -file: ASSERT IF INT WITH +file: REWRITE IF INT WITH ## ## Ends in an error in state: 108. ## @@ -662,7 +676,7 @@ file: ASSERT IF INT WITH -file: ASSERT IF INT THEN WITH +file: REWRITE IF INT THEN WITH ## ## Ends in an error in state: 109. ## @@ -674,7 +688,7 @@ file: ASSERT IF INT THEN WITH -file: ASSERT IF INT THEN INT WITH +file: REWRITE IF INT THEN INT WITH ## ## Ends in an error in state: 110. ## @@ -700,7 +714,7 @@ file: ASSERT IF INT THEN INT WITH -file: ASSERT IF INT THEN INT ELSE WITH +file: REWRITE IF INT THEN INT ELSE WITH ## ## Ends in an error in state: 111. ## @@ -712,7 +726,7 @@ file: ASSERT IF INT THEN INT ELSE WITH -file: ASSERT FUN LEFT_PAREN LOWER_WORD COLON INT WITH +file: REWRITE LOGIC_FORALL LEFT_PAREN LOWER_WORD COLON INT WITH ## ## Ends in an error in state: 114. ## @@ -738,7 +752,7 @@ file: ASSERT FUN LEFT_PAREN LOWER_WORD COLON INT WITH -file: ASSERT LOGIC_FORALL LOWER_WORD DOT WITH +file: REWRITE LOGIC_FORALL LOWER_WORD DOT WITH ## ## Ends in an error in state: 117. ## @@ -750,7 +764,7 @@ file: ASSERT LOGIC_FORALL LOWER_WORD DOT WITH -file: ASSERT LEFT_PAREN INT WITH +file: REWRITE LEFT_PAREN INT WITH ## ## Ends in an error in state: 119. ## @@ -776,7 +790,7 @@ file: ASSERT LEFT_PAREN INT WITH -file: ASSERT MATCH INT WHERE +file: REWRITE MATCH INT WHERE ## ## Ends in an error in state: 122. ## @@ -802,7 +816,7 @@ file: ASSERT MATCH INT WHERE -file: ASSERT MATCH INT WITH WITH +file: REWRITE MATCH INT WITH WITH ## ## Ends in an error in state: 123. ## @@ -814,7 +828,7 @@ file: ASSERT MATCH INT WITH WITH -file: ASSERT MATCH INT WITH VERTICAL_BAR WITH +file: REWRITE MATCH INT WITH VERTICAL_BAR WITH ## ## Ends in an error in state: 124. ## @@ -826,7 +840,7 @@ file: ASSERT MATCH INT WITH VERTICAL_BAR WITH -file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD WITH +file: REWRITE MATCH INT WITH VERTICAL_BAR LOWER_WORD WITH ## ## Ends in an error in state: 125. ## @@ -838,7 +852,7 @@ file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD WITH -file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD LOWER_WORD WITH +file: REWRITE MATCH INT WITH VERTICAL_BAR LOWER_WORD LOWER_WORD WITH ## ## Ends in an error in state: 127. ## @@ -850,7 +864,7 @@ file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD LOWER_WORD WITH -file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW WITH +file: REWRITE MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW WITH ## ## Ends in an error in state: 131. ## @@ -862,7 +876,7 @@ file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW WITH -file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW INT WITH +file: REWRITE MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW INT WITH ## ## Ends in an error in state: 135. ## @@ -890,7 +904,7 @@ file: ASSERT MATCH INT WITH VERTICAL_BAR LOWER_WORD ARROW INT WITH -file: ASSERT PI LOWER_WORD COLON TYPE WITH +file: REWRITE PI LOWER_WORD COLON TYPE WITH ## ## Ends in an error in state: 138. ## @@ -903,7 +917,7 @@ file: ASSERT PI LOWER_WORD COLON TYPE WITH -file: ASSERT PI LOWER_WORD WITH +file: REWRITE PI LOWER_WORD WITH ## ## Ends in an error in state: 140. ## @@ -916,7 +930,7 @@ file: ASSERT PI LOWER_WORD WITH -file: ASSERT PI LOWER_WORD COLON WITH +file: REWRITE PI LOWER_WORD COLON WITH ## ## Ends in an error in state: 141. ## From 594a3b55fe5dcedcf5a87f629523afcc71e75383 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 13 Feb 2026 15:18:59 +0100 Subject: [PATCH 3/4] Fix pinning in CI + deps in opam file --- .github/workflows/build.yml | 2 +- dolmen.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a6c9eb970..29cc3e0cd 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -62,7 +62,7 @@ jobs: # Pin a specific version of menhir to ensure stability for # .messages ordering and state numbering - name: Install menhir - run: opam install menhir.20260209 + run: opam pin menhir.20260209 # Install ocaml deps - name: Install Ocaml deps run: opam install . --deps-only --with-test --with-doc diff --git a/dolmen.opam b/dolmen.opam index e1217ca1f..37188b287 100644 --- a/dolmen.opam +++ b/dolmen.opam @@ -11,7 +11,7 @@ build: [ depends: [ # note: macos/arm64 -> ocaml >= 4.10 "ocaml" { >= "4.08.1"} - "menhir" {>= "20211230" & < "20260112"} + "menhir" {>= "20211230"} "dune" { >= "3.0" } "dune-site" { >= "3.0" } "fmt" { >= "0.8.7" } From b81ddf55f1ad0dd67417116b10ddb8d5ddaed512 Mon Sep 17 00:00:00 2001 From: Guillaume Bury Date: Fri, 13 Feb 2026 15:22:12 +0100 Subject: [PATCH 4/4] fix typo --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 29cc3e0cd..db27c3031 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -62,7 +62,7 @@ jobs: # Pin a specific version of menhir to ensure stability for # .messages ordering and state numbering - name: Install menhir - run: opam pin menhir.20260209 + run: opam pin add menhir 20260209 # Install ocaml deps - name: Install Ocaml deps run: opam install . --deps-only --with-test --with-doc