Bison dumps core on bash.y.

Reported by Pascal Bart.
* src/warshall.c (bitmatrix_print): New.
(TC): Use it.
When performing a transitive closure R(i, j) && R(j, k) => R(i,	k),
j must be the outer loop.
* tests/regression.at (Broken Closure): New.
This commit is contained in:
Akim Demaille
2001-12-10 08:44:49 +00:00
parent 07708e1946
commit 74ffbcb6bf
3 changed files with 143 additions and 2 deletions

View File

@@ -1,3 +1,14 @@
2001-12-10 Akim Demaille <akim@epita.fr>
Bison dumps core on bash.y.
Reported by Pascal Bart.
* src/warshall.c (bitmatrix_print): New.
(TC): Use it.
When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
j must be the outer loop.
* tests/regression.at (Broken Closure): New.
2001-12-05 Akim Demaille <akim@epita.fr>
* tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and