diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2020-05-24 15:16:15 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2020-05-24 15:17:14 +0200 |
| commit | 6ed813c122a5a52986f34d2d387223ec3af49c57 (patch) | |
| tree | 4e9bae4d5a05144e52f9897305ab00c1a39c7362 /tests/counterexample.at | |
| parent | 1ec93ca2a2b4718b5d94871475520a2688b4c5c8 (diff) | |
| download | bison-6ed813c122a5a52986f34d2d387223ec3af49c57.tar.gz | |
tests: fix expectations
Should have been part of 1ec93ca2a2b4718b5d94871475520a2688b4c5c8.
* tests/counterexample.at: here.
Diffstat (limited to 'tests/counterexample.at')
| -rw-r--r-- | tests/counterexample.at | 4 |
1 files changed, 2 insertions, 2 deletions
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 ] |