[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH 0/5] cex: display the rule numbers
From: |
Akim Demaille |
Subject: |
[PATCH 0/5] cex: display the rule numbers |
Date: |
Wed, 29 Jul 2020 06:46:51 +0200 |
This is a bit exploratory, I'm not sure about the format. The point
is to include the rule numbers in the counterexamples. I'd be happy
to read comments about this.
From
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Shift derivation
if_stmt
↳ "if" expr "then" stmt
↳ if_stmt
↳ "if" expr "then" stmt • "else" stmt
Reduce derivation
if_stmt
↳ "if" expr "then" stmt "else" stmt
↳ if_stmt
↳ "if" expr "then" stmt •
to
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Shift derivation
if_stmt
↳ 3: "if" expr "then" stmt
↳ 2: if_stmt
↳ 4: "if" expr "then" stmt • "else" stmt
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Reduce derivation
if_stmt
↳ 4: "if" expr "then" stmt "else" stmt
↳ 2: if_stmt
↳ 3: "if" expr "then" stmt •
Cheers!
Akim Demaille (5):
cex: style: prefer FOO_print to print_FOO
cex: style: prefer "res" for the returned value
cex: style: comment changes
cex: style: prefer counterexample_print to print_counterexample
cex: display the rule numbers
src/counterexample.c | 19 ++-
src/derivation.c | 40 ++++-
src/derivation.h | 7 +-
src/lssi.c | 2 +-
src/parse-simulation.c | 36 ++--
src/state-item.c | 12 +-
src/state-item.h | 4 +-
tests/conflicts.at | 44 ++---
tests/counterexample.at | 370 ++++++++++++++++++++--------------------
tests/diagnostics.at | 66 +++----
tests/report.at | 88 +++++-----
11 files changed, 362 insertions(+), 326 deletions(-)
--
2.27.0
- [PATCH 0/5] cex: display the rule numbers,
Akim Demaille <=
- [PATCH 1/5] cex: style: prefer FOO_print to print_FOO, Akim Demaille, 2020/07/29
- [PATCH 2/5] cex: style: prefer "res" for the returned value, Akim Demaille, 2020/07/29
- [PATCH 3/5] cex: style: comment changes, Akim Demaille, 2020/07/29
- [PATCH 4/5] cex: style: prefer counterexample_print to print_counterexample, Akim Demaille, 2020/07/29
- [PATCH 5/5] cex: display the rule numbers, Akim Demaille, 2020/07/29