gcl fails fricas tests
Qian Yun <[email protected]> Tue, 4 Feb 2025 22:14:33 +0800
| Newsgroups | gmane.comp.mathematics.algebra.fricas.devel,gmane.lisp.gcl.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi Camm,
Thanks for your recent GCL fixes for FriCAS.
Before your recent fixes, GCL fails to build fricas
on arm64 ubuntu-24.04,
(
https://github.com/oldk1331/fricas/actions/runs/13005737431/job/36272189339
when compiling OCAMON.spad:
>> System error:
Condition in SETQ [or a callee]: INTERNAL-SIMPLE-ERROR: Value stack
overflow.
)
But after your recent fixes, now the build passes on arm64,
but it fails at these tests:
(
https://github.com/oldk1331/fricas/actions/runs/13136618548/job/36653370009
https://github.com/fricas/fricas/actions/runs/13136970950/job/36654558469
src/input/files.input:
Aborted (core dumped)
check failed
2 failing files:
eltuniseg.output: 15
mantepse.output: 4
)
These tests also fail on x86_64, where they did not fail before.
- Best,
- Qian
--
You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/74d67700-5c8b-4ce1-a4ba-f16a3684d269%40gmail.com.