summaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-06 16:13:56 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-09-06 16:13:56 +0200
commite4faaaf8a022fbe2c8c574d2d49155f74aa18a33 (patch)
treebbc5cbe1e3ab4ae31bfca8a3b1837478d155380f /src/test
parenta4ec992ad24a5f62e8795f608b3d7943db0d8c1a (diff)
Update
Diffstat (limited to 'src/test')
-rw-r--r--src/test/bw.conflicts25
-rw-r--r--src/test/bw.mly18
-rw-r--r--src/test/test.ml3
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°"