[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/8] cex: show counterexamples in the reports
From: |
Akim Demaille |
Subject: |
Re: [PATCH 0/8] cex: show counterexamples in the reports |
Date: |
Tue, 16 Jun 2020 07:38:57 +0200 |
> Le 14 juin 2020 à 10:24, Akim Demaille <akim.demaille@gmail.com> a écrit :
>
> This series of commits (https://github.com/akimd/bison/pull/40)
> changes the way the counterexamples are shown in the diagnostics, and
> introduces them in the reports.
>
> In the terminal [...]
>
> ```
> Shift/reduce conflict on token B:
> Example A . B C
> First derivation s ::=[ a ::=[ A . ] bc ::=[ B C ] ]
> Example A . B C
> Second derivation s ::=[ ac ::=[ A ac ::=[ b ::=[ . B ] ] C ] ]
> ```
>
> In the reports [...]
>
> ```
> State 5
>
> 1 exp: exp . OP exp
> 1 | exp OP exp . [$end, OP]
>
> OP shift, and go to state 4
>
> OP [reduce using rule 1 (exp)]
> $default reduce using rule 1 (exp)
>
> Shift/reduce conflict on token OP:
> 1 exp: exp OP exp .
> 1 exp: exp . OP exp
> Example exp OP exp . OP exp
> First derivation exp ::=[ exp ::=[ exp OP exp . ] OP exp ]
> Example exp OP exp . OP exp
> Second derivation exp ::=[ exp OP exp ::=[ exp . OP exp ] ]
> ```
>
> I would very much like to have comments about this series.
No comments. Installed.
- [PATCH 0/8] cex: show counterexamples in the reports, Akim Demaille, 2020/06/14
- [PATCH 1/8] style: more uses of const, Akim Demaille, 2020/06/14
- [PATCH 2/8] cex: add an argument to the reporting functions to specify the stream, Akim Demaille, 2020/06/14
- [PATCH 3/8] cex: make sure traces go to stderr, Akim Demaille, 2020/06/14
- [PATCH 4/8] cex: don't report the items, Akim Demaille, 2020/06/14
- [PATCH 5/8] cex: indent the diagnostics to highlight the structure, Akim Demaille, 2020/06/14
- [PATCH 6/8] cex: also include the counterexamples in the report, Akim Demaille, 2020/06/14
- [PATCH 7/8] cex: also include in the report on --report=counterexamples, Akim Demaille, 2020/06/14
- [PATCH 8/8] cex: factor the definition of "•", Akim Demaille, 2020/06/14
- Re: [PATCH 0/8] cex: show counterexamples in the reports,
Akim Demaille <=