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 |
|---|---|
| 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 |
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 |
PEG Tiny (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;
|
| > |
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 60 {space {t {;}}}
|
| |
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 60 {space {t {;}}}
|
| |
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 60 {space {t {;}}}
|
| |
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 60 {space {t {;}}}
|
| |
1 |
1 {pt::rde 50 {space {t {;}}}}
|
Changes to modules/pt/tests/data/gr/ok-ticket-3ed39a451f-res/0_tinyProg.
1 |
CmdSeq 0 15 {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}}}}
|
| |
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 5 6 7 |
n := 5; f := 1; repeat f := f * n; n := n - 1 until n < 1; write f; |
| |
1 2 3 4 5 6 7 |
n := 5;
f := 1;
repeat
f := f * n;
n := n - 1;
until n < 1;
write f;
|