[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: cex: clean the display of conflicted symbols
From: |
Akim Demaille |
Subject: |
Re: cex: clean the display of conflicted symbols |
Date: |
Sun, 24 May 2020 16:02:40 +0200 |
> Le 23 mai 2020 à 18:23, Akim Demaille <address@hidden> a écrit :
>
> commit 1ec93ca2a2b4718b5d94871475520a2688b4c5c8
> Author: Akim Demaille <address@hidden>
> Date: Sat May 23 18:17:57 2020 +0200
>
> cex: clean the display of conflicted symbols
>
> Instead of `On Symbols: {b,c,}`, display `On Symbols: b, c`.
>
> * src/counterexample.c (counterexample_report_reduce_reduce): We don't
> need braces.
> Use commas as a separator, not a terminator.
> * tests/counterexample.at: Adjust.
For some reasons I managed to miss some cases. Apologies.
commit 6ed813c122a5a52986f34d2d387223ec3af49c57
Author: Akim Demaille <address@hidden>
Date: Sun May 24 15:16:15 2020 +0200
tests: fix expectations
Should have been part of 1ec93ca2a2b4718b5d94871475520a2688b4c5c8.
* tests/counterexample.at: here.
diff --git a/tests/counterexample.at b/tests/counterexample.at
index 6cddb501..d8582000 100644
--- a/tests/counterexample.at
+++ b/tests/counterexample.at
@@ -440,7 +440,7 @@ Second derivation $accept ::=[ a ::=[ c ::=[ • ] d ::=[ c
A A ] ] $end ]
Reduce-Reduce Conflict:
2: 3 b: . %empty
2: 4 c: . %empty
-On Symbols: {A,}
+On Symbols: A
time limit exceeded: 6.000000
First Example b • c A A $end
First derivation $accept ::=[ a ::=[ b d ::=[ a ::=[ b ::=[ • ] d ::=[ c
A A ] ] ] ] $end ]
@@ -450,7 +450,7 @@ Second derivation $accept ::=[ a ::=[ b d ::=[ c ::=[ • ]
A ] ] $end ]
Reduce-Reduce Conflict:
3: 3 b: . %empty
3: 4 c: . %empty
-On Symbols: {A,}
+On Symbols: A
time limit exceeded: 6.000000
First Example c • c A A $end
First derivation $accept ::=[ a ::=[ c d ::=[ a ::=[ b ::=[ • ] d ::=[ c
A A ] ] ] ] $end ]