Bug#1040774: msolve FTBFS on 32bit: test failure and hang

2023-07-13 Thread Torrance, Douglas

Control: severity -1 important

On Thu 13 Jul 2023 12:21:48 PM -04, Doug Torrance  
wrote:

[[PGP Signed Part:Undecided]]
Control: forwarded -1 https://github.com/algebraic-solving/msolve/issues/66

On Mon 10 Jul 2023 03:33:43 PM +03, Adrian Bunk  wrote:

Source: msolve
Version: 0.5.0-1
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/logs.php?pkg=msolve=0.5.0-1

...
make  check-TESTS
make[3]: Entering directory '/<>'
make[4]: Entering directory '/<>'
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


[[End of PGP Signed Part]]


The latest upload (0.5.0-2) of msolve skips the tests on 32-bit architectures
so that it will still build.  The issue has been reported upstream and hopefully
will be fixed in a future release.

Since the program still works for some inputs on these architectures, I'm
dropping the severity of the bug to "important".


signature.asc
Description: PGP signature


Bug#1040774: msolve FTBFS on 32bit: test failure and hang

2023-07-13 Thread Torrance, Douglas

Control: forwarded -1 https://github.com/algebraic-solving/msolve/issues/66

On Mon 10 Jul 2023 03:33:43 PM +03, Adrian Bunk  wrote:

Source: msolve
Version: 0.5.0-1
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/logs.php?pkg=msolve=0.5.0-1

...
make  check-TESTS
make[3]: Entering directory '/<>'
make[4]: Entering directory '/<>'
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




signature.asc
Description: PGP signature


Bug#1040774: msolve FTBFS on 32bit: test failure and hang

2023-07-10 Thread Adrian Bunk
Source: msolve
Version: 0.5.0-1
Severity: serious
Tags: ftbfs

https://buildd.debian.org/status/logs.php?pkg=msolve=0.5.0-1

...
make  check-TESTS
make[3]: Entering directory '/<>'
make[4]: Entering directory '/<>'
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