Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-04-24 02:29:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,754 Commits 8 Branches 131 Tags
615bad418689ae75753a845cd622c8e911e6dbf5
Commit Graph

54 Commits

Author SHA1 Message Date
Akim Demaille da5317cc9d cex: isolate missing API from gl_list 
* src/counterexample.c (list_get_end): New.
Use it.
Reduce scopes.
 2020-05-22 07:52:27 +02:00
Vincent Imbimbo 66283fb625 cex: fix crash from zombie result 
Fixes the SEGV in test 247 (counterexample.at:195): "S/R after first
token".

* src/counterexample.c: here.
* tests/counterexample.at: Fix expectations.
 2020-05-22 07:52:27 +02:00
Akim Demaille 93c849ef0d cex: fixes, and enable tests 
* src/counterexample.c, src/derivation.c:
Do not output diagnostics on stdout, that's the job of stderr, and the
testsuite heavily depend on this.
Do not leave trailing spaces in the output.
* tests/counterexample.at: Use AT_KEYWORDS.
Specify the expected outputs.
* tests/local.mk: Add counterexample.at.
 2020-05-22 07:52:27 +02:00
Vincent Imbimbo bbb63b1ca9 cex: introduce counterexample search 
* src/counterexample.h, src/counterexample.c: New.
 2020-05-22 07:52:27 +02:00