algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
90 stars 22 forks source link

Tests failing/hanging on 32-bit architectures #66

Open d-torrance opened 1 year ago

d-torrance commented 1 year ago

Some of the tests are are failing and hanging on 32-bit architectures, possibly due to using long (which is only 32 bits instead of 64 on these architectures).

For example (from https://buildd.debian.org/status/fetch.php?pkg=msolve&arch=i386&ver=0.5.0-1&stamp=1688586254&raw=0):

make  check-TESTS
make[3]: Entering directory '/<<PKGBUILDDIR>>'
make[4]: Entering directory '/<<PKGBUILDDIR>>'
PASS: fglm_build_matrixn_radical_shape-31
PASS: neogb_io
PASS: fglm_build_matrixn_nonradical_shape-31
PASS: fglm_build_matrixn_nonradical_radicalshape-31
FAIL: test/diff/diff_elim-qq.sh
PASS: test/diff/diff_elim-31.sh
PASS: test/diff/diff_F4SAT-31.sh
FAIL: test/diff/diff_kat6-31.sh
FAIL: test/diff/diff_eco11-31.sh
E: Build killed with signal TERM after 150 minutes of inactivity

See also https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040774.

ederc commented 1 year ago

We will take a look into this.

mohabsafey commented 1 year ago

We will work on this starting Aug. 20th

mohabsafey commented 1 month ago

Isn´t this issue fixed by all recent changes?

d-torrance commented 1 month ago

No, my recent pull requests were all related to compilation errors on 32-bit architectures, but there are still some runtime errors found during make check.

Maybe some of them are related to #71?

d-torrance commented 1 month ago

Here's one way to reproduce this:

docker run -it i386/debian:sid bash
apt update
apt install git autoconf libtool libgmp-dev libmpfr-dev libflint-dev make
git clone https://github.com/algebraic-solving/msolve
cd msolve
./autogen.sh
./configure
make
make check

For me, it begins to hang after this point:

make  check-TESTS
make[2]: Entering directory '/msolve'
make[3]: Entering directory '/msolve'
PASS: neogb_io
PASS: fglm_build_matrixn_radical_shape-31
PASS: fglm_build_matrixn_nonradical_shape-31
PASS: fglm_build_matrixn_nonradical_radicalshape-31
mohabsafey commented 1 month ago

Many thanks, this is very helpful. My summer break starts tomorrow morning. I will have a look when I am back and will try to fix this quickly