Re: 2 test failures

Jeffrey Cliff <[email protected]> writes:

> gcc: gcc (GCC) 15.0.0 20240509 (experimental)

Actually,

  https://gcc.gnu.org/releases.html

says that the highest version of gcc which has actually been released is
14.2.

I will therefore suggest more strongly that you use 14.2, and if that
still fails, something earlier.

(I do not mean to claim that gama is bugfree, but only to suggest how to
proceed finding out what is causing test failures in the combination of
gama, your system, and your approach.)