Re: [PATCH 0/8] cex: show counterexamples in the reports

[Akim Demaille]

> 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.