diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-06 16:13:56 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-09-06 16:13:56 +0200 |
commit | e4faaaf8a022fbe2c8c574d2d49155f74aa18a33 (patch) | |
tree | bbc5cbe1e3ab4ae31bfca8a3b1837478d155380f /src/test | |
parent | a4ec992ad24a5f62e8795f608b3d7943db0d8c1a (diff) |
Update
Diffstat (limited to 'src/test')
-rw-r--r-- | src/test/bw.conflicts | 25 | ||||
-rw-r--r-- | src/test/bw.mly | 18 | ||||
-rw-r--r-- | src/test/test.ml | 3 |
3 files changed, 3 insertions, 43 deletions
diff --git a/src/test/bw.conflicts b/src/test/bw.conflicts deleted file mode 100644 index 58385d2..0000000 --- a/src/test/bw.conflicts +++ /dev/null @@ -1,25 +0,0 @@ - -** Conflict (shift/reduce) in state 2. -** Token involved: W -** This state is reached from main after reading: - -seq W - -** The derivations that appear below have the following common factor: -** (The question mark symbol (?) represents the spot where the derivations begin to differ.) - -main -(?) - -** In state 2, looking ahead at W, shifting is permitted -** because of the following sub-derivation: - -seq ending EOL - W . W W - -** In state 2, looking ahead at W, reducing production -** seq -> seq W -** is permitted because of the following sub-derivation: - -seq ending EOL // lookahead token appears because ending can begin with W -seq W . diff --git a/src/test/bw.mly b/src/test/bw.mly deleted file mode 100644 index 8b022bd..0000000 --- a/src/test/bw.mly +++ /dev/null @@ -1,18 +0,0 @@ -%token B -%token W -%token EOL - -%start<unit> main - -%% - -seq : {} - | seq B {} - | seq W {} - ; - -ending : {} - | W W W {} - ; - -main : seq ending EOL {} diff --git a/src/test/test.ml b/src/test/test.ml index 9ae698a..49cb9ff 100644 --- a/src/test/test.ml +++ b/src/test/test.ml @@ -67,6 +67,7 @@ let tests = ; "besoin", "b2zw5" ; "beaumont", "bom§(t)" ; "bisoux", "bizu(s)" + ; "boulangerie", "buL@Z2Ri" ; "casait", "kazE(t)" ; "cassait", "kasE(t)" ; "célibat", "seLiba(t)" @@ -75,6 +76,7 @@ let tests = ; "chipant", "Sip@(t)" ; "co|incidant", "ko5sid@(t)" ; "croire", "kR[wa]R°" + ; "cuillère", "kyijER°" ; "demeure", "d2m9R°" ; "diag|nostic", "d[ja]gnostik" ; "ébrouas", "ebRua(s)" @@ -105,6 +107,7 @@ let tests = ; "plan", "pL@" ; "plat", "pLa(t)" ; "platte", "pLat°" + ; "quille", "kij°" ; "soin", "sw5" ; "souris", "suRi(s)" ; "toiture", "t[wa]tyR°" |