about "make all" test in src/input and hypertex input files

4 views
Skip to first unread message

Qian Yun

unread,
6:13 AM (13 hours ago) 6:13 AM
to fricas-devel
Hi Waldek, how do you compare the output file results from
"make all" in src/input and src/doc?

Do you have a script for it?

I plan to add this check in the CI script to expand test coverage.

- Qian

Waldek Hebisch

unread,
8:08 AM (11 hours ago) 8:08 AM
to fricas...@googlegroups.com
On Tue, Jun 30, 2026 at 06:13:10PM +0800, Qian Yun wrote:
> Hi Waldek, how do you compare the output file results from
> "make all" in src/input and src/doc?
>
> Do you have a script for it?

For src/input I use the norm-out script like:

../trunk/src/scripts/norm-out ../fr-build535 . | less

norm-out eliminates most trivial differences, but some remain
and I need to look at the output to know if something deserves
attention.

For do I use simple recursive diff like:

diff -u ../fr-build534/target/x86_64-linux-gnu/share/hypertex/pages target/x86_64-linux-gnu/share/hypertex/pages | less

there is a lot of irrelevant differences in ht.db, I just do not look
at them.

> I plan to add this check in the CI script to expand test coverage.
>
> - 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 fricas-devel...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/122ef7a2-4230-488b-8214-417f53bfb7fa%40gmail.com.

--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages