Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
Comment: | Fixes for the FFP tests - Change test grammar to enforce consummation of all input - Fix error in ok grammar example copied from the fail example. - Fix mis-count in the FFP result for the fail example, and missing closing brace |
---|---|
Downloads: | Tarball | ZIP archive |
Timelines: | family | ancestors | descendants | both | ssoberni-ffp-3ed39a451f |
Files: | files | file ages | folders |
SHA3-256: |
d58dafb1140c96d620d9330bc113865e |
User & Date: | aku 2018-06-25 23:00:37.220 |
References
2018-06-26
| ||
02:28 | • Ticket [3ed39a451f] Farthest failure path (FFP) tracking in PT/PEG ssoberni-ffp-3ed39a451f status still Open with 3 other changes artifact: f8debe6fb7 user: aku | |
Context
2018-06-27
| ||
17:07 | Merged FFP work by Stefan Sobernig. check-in: 623801c583 user: aku tags: trunk | |
2018-06-25
| ||
23:00 | Fixes for the FFP tests - Change test grammar to enforce consummation of all input - Fix error in ok grammar example copied from the fail example. - Fix mis-count in the FFP result for the fail example, and missing closing brace Closed-Leaf check-in: d58dafb114 user: aku tags: ssoberni-ffp-3ed39a451f | |
2018-06-22
| ||
04:30 | Brought in trunk work (mostly the doc changes) check-in: 3ec4e74aac user: aku tags: ssoberni-ffp-3ed39a451f | |
Changes
Changes to modules/pt/tests/data/gr/def/49_ticket-3ed39a451f.
|
| | > | 1 2 3 4 5 6 7 8 9 | PEG Tiny (Proc) Proc <- CmdSeq !. ; CmdSeq <- Cmd SEMICOLON (Cmd SEMICOLON)*; Cmd <- Skip ((IfCmd / RepeatCmd / AssignCmd / ReadCmd / WriteCmd)) Skip; IfCmd <- 'if' Exp 'then' CmdSeq ('else' CmdSeq)? 'end'; RepeatCmd <- 'repeat' CmdSeq 'until' Exp; AssignCmd <- Name ASSIGNMENT Exp; ReadCmd <- 'read' Skip Name; WriteCmd <- 'write' Skip Exp; |
︙ | ︙ |
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-container-res/0_tinyProg.
|
| | | 1 | 1 {pt::rde 50 {space {t {;}}}} |
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-critcl-res/0_tinyProg.
|
| | | 1 | 1 {pt::rde 50 {space {t {;}}}} |
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-oo-res/0_tinyProg.
|
| | | 1 | 1 {pt::rde 50 {space {t {;}}}} |
Changes to modules/pt/tests/data/gr/fail-ticket-3ed39a451f-snit-res/0_tinyProg.
|
| | | 1 | 1 {pt::rde 50 {space {t {;}}}} |
Changes to modules/pt/tests/data/gr/ok-ticket-3ed39a451f-res/0_tinyProg.
|
| | | 1 | Proc 0 71 {CmdSeq 0 71 {Cmd 0 5 {AssignCmd 0 5 {Name 0 0} {ASSIGNMENT 1 4} {Exp 5 5 {Operand 5 5}}}} {Cmd 8 13 {AssignCmd 8 13 {Name 8 8} {ASSIGNMENT 9 12} {Exp 13 13 {Operand 13 13}}}} {Cmd 16 61 {RepeatCmd 16 61 {CmdSeq 22 50 {Cmd 22 34 {AssignCmd 25 34 {Name 25 25} {ASSIGNMENT 26 29} {Exp 30 34 {Operand 30 31 {Name 30 30}} {Operand 33 34 {Name 34 34}}}}} {Cmd 39 48 {AssignCmd 39 48 {Name 39 39} {ASSIGNMENT 40 43} {Exp 44 48 {Operand 44 45 {Name 44 44}} {Operand 47 48}}}}} {Exp 56 61 {Operand 56 58 {Name 57 57}} {Operand 60 61}}}} {Cmd 64 70 {WriteCmd 64 70 {Exp 70 70 {Operand 70 70 {Name 70 70}}}}}} |
Changes to modules/pt/tests/data/gr/ok-ticket-3ed39a451f/0_tinyProg.
1 2 3 4 | n := 5; f := 1; repeat f := f * n; | | | 1 2 3 4 5 6 7 | n := 5; f := 1; repeat f := f * n; n := n - 1; until n < 1; write f; |