Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-09 04:13:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

tests: fix expectations

Browse Source 
Should have been part of 1ec93ca2a2.

* tests/counterexample.at: here.
This commit is contained in:
Akim Demaille
2020-05-24 15:16:15 +02:00
parent 1ec93ca2a2
commit 6ed813c122
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tests/counterexample.at
View File

@@ -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 ]