Skip to content

Rework make check and print the random seed #264

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
jerebertho wants to merge 15 commits into from
Closed

Rework make check and print the random seed #264

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
6942e12
more templates files for make check scripts, renaming of output_files…
jerebertho Jan 13, 2026
c8b12ef
move some verbose messages from stderr to stdout
jerebertho Jan 15, 2026
6cd7bc8
some files in make check where not sourcing the template files
jerebertho Jan 16, 2026
65f00a0
corrects names in configure.ac
jerebertho Jan 25, 2026
ab317b7
change names of output files in make check
jerebertho Jan 26, 2026
00fccbf
SEED default variable defined in Makefile.am
jerebertho Jan 26, 2026
9aa46ca
function for color printing the exit code
jerebertho Jan 26, 2026
850bece
call the color printed function for exit codes in test/diff/diff_*.sh…
jerebertho Jan 26, 2026
d6b6e72
more renaming of test files
jerebertho Jan 26, 2026
6090be3
updates some test files
jerebertho Jan 26, 2026
32b009c
bad linking
jerebertho Feb 9, 2026
2241379
printf and tput for portability
jerebertho Feb 11, 2026
7f551ec
reworked printing of seed and exit, add normal_exit for shell tests
jerebertho Feb 11, 2026
64e588d
fix rebase issue
jerebertho Feb 12, 2026
e129fe0
revert some changes: messages to stderr for legacy code
jerebertho Feb 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
86 changes: 43 additions & 43 deletions Makefile.am
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,75 +8,75 @@ bin_PROGRAMS = msolve
msolve_SOURCES = src/msolve/main.c

check_PROGRAMS = neogb_io \
fglm_build_matrixn_radical_shape-31 \
fglm_build_matrixn_nonradical_shape-31 \
fglm_build_matrixn_nonradical_radicalshape-31 \
fglm_build_matrixn_radical-shape-31 \
fglm_build_matrixn_nonradical-shape-31 \
fglm_build_matrixn_nonradical-radicalshape-31 \
line_endings_support

checkdiff = test/diff/diff_cp_d_3_n_4_p_2.sh \
checkdiff = test/diff/diff_bug-2nd-prime-bad.sh \
test/diff/diff_bug-68.sh \
test/diff/diff_bug-empty-tracer.sh \
test/diff/diff_choice-linear-form-qq.sh \
test/diff/diff_cp-d3-n4-p2.sh \
test/diff/diff_cyclic5-16.sh \
test/diff/diff_cyclic5-31.sh \
test/diff/diff_cyclic5-qq.sh \
test/diff/diff_eco10-31.sh \
test/diff/diff_eco6-16.sh \
test/diff/diff_eco6-31.sh \
test/diff/diff_eco6-qq.sh \
test/diff/diff_groebner-g2.sh \
test/diff/diff_henrion5-qq.sh \
test/diff/diff_eco10-31.sh \
test/diff/diff_truncate_gb.sh \
test/diff/diff_elim-31.sh \
test/diff/diff_elim-qq.sh \
test/diff/diff_F4SAT-31.sh \
test/diff/diff_F4SAT-byone-31.sh \
test/diff/diff_f4sat-31.sh \
test/diff/diff_f4sat-byone-31.sh \
test/diff/diff_f4sat-field-char.sh \
test/diff/diff_f4sat-is-saturated-check.sh \
test/diff/diff_f4sat-zero-input.sh \
test/diff/diff_groebner-g2.sh \
test/diff/diff_henrion5-qq.sh \
test/diff/diff_input-overflow-16.sh \
test/diff/diff_issue-230.sh \
test/diff/diff_issue-230-squared.sh \
test/diff/diff_kat6-31.sh \
test/diff/diff_kat7-qq.sh \
test/diff/diff_kat8-qq-truncate.sh \
test/diff/diff_linear-qq.sh \
test/diff/diff_maxbitsize-bug.sh \
test/diff/diff_mq-2-1.sh \
test/diff/diff_multy-16.sh \
test/diff/diff_multy-31.sh \
test/diff/diff_multy-qq.sh \
test/diff/diff_nonradical_shape-qq.sh \
test/diff/diff_nonradical_radicalshape-qq.sh \
test/diff/diff_nonradical_radicalshape-no-square-31.sh \
test/diff/diff_nonradical_radicalshape-no-square-qq.sh \
test/diff/diff_nf-16.sh \
test/diff/diff_nf-31.sh \
test/diff/diff_nf-8.sh \
test/diff/diff_nf-lm-bug.sh \
test/diff/diff_nonradical-radicalshape-no-square-31.sh \
test/diff/diff_nonradical-radicalshape-no-square-qq.sh \
test/diff/diff_nonradical-radicalshape-qq.sh \
test/diff/diff_nonradical-shape-qq.sh \
test/diff/diff_one-16.sh \
test/diff/diff_one-31.sh \
test/diff/diff_one-qq.sh \
test/diff/diff_radical_shape-31.sh \
test/diff/diff_radical_shape-qq.sh \
test/diff/diff_realroot-extraction-exact-root.sh \
test/diff/diff_reals_dim0.sh \
test/diff/diff_radical-shape-31.sh \
test/diff/diff_radical-shape-qq.sh \
test/diff/diff_realroot1.sh \
test/diff/diff_reals_dim0-chgvar.sh \
test/diff/diff_reals_dim0-extract.sh \
test/diff/diff_reals_dim0-swapvar.sh \
test/diff/diff_choice-linear-form-qq.sh \
test/diff/diff_choice-linear-form-qq-real-roots.sh \
test/diff/diff_bug_empty_tracer.sh \
test/diff/diff_bug_2nd_prime_bad.sh \
test/diff/diff_bug_68.sh \
test/diff/diff_mq_2_1.sh \
test/diff/diff_xy-qq.sh \
test/diff/diff_realroot-extraction-exact-root.sh \
test/diff/diff_reals-dim0-chgvar.sh \
test/diff/diff_reals-dim0-extract.sh \
test/diff/diff_reals-dim0.sh \
test/diff/diff_reals-dim0-swapvar.sh \
test/diff/diff_test-lifting2.sh \
test/diff/diff_linear-qq.sh \
test/diff/diff_input-overflow-16.sh \
test/diff/diff_nf_8.sh \
test/diff/diff_nf_16.sh \
test/diff/diff_nf_31.sh \
test/diff/diff_nf_lm_bug.sh \
test/diff/diff_f4sat-field-char.sh \
test/diff/diff_f4sat-zero-input.sh \
test/diff/diff_f4sat-is-saturated-check.sh \
test/diff/diff_maxbitsize-bug.sh \
test/diff/diff_issue_230.sh \
test/diff/diff_issue_230_squared.sh
test/diff/diff_xy-qq.sh

# dist_check_DATA = test/input_files
neogb_io_SOURCES = test/neogb/io/validate_input_data.c
fglm_build_matrixn_radical_shape_31_SOURCES = test/fglm/build_matrixn_radical_shape-31.c
fglm_build_matrixn_nonradical_shape_31_SOURCES = test/fglm/build_matrixn_nonradical_shape-31.c
fglm_build_matrixn_nonradical_radicalshape_31_SOURCES = test/fglm/build_matrixn_nonradical_radicalshape-31.c
fglm_build_matrixn_radical_shape_31_SOURCES = test/fglm/build_matrixn_radical-shape-31.c
fglm_build_matrixn_nonradical_shape_31_SOURCES = test/fglm/build_matrixn_nonradical-shape-31.c
fglm_build_matrixn_nonradical_radicalshape_31_SOURCES = test/fglm/build_matrixn_nonradical-radicalshape-31.c
line_endings_support_SOURCES = test/msolve/line_endings_support.c

TESTS = $(check_PROGRAMS) $(checkdiff)
TESTS_ENVIRONMENT = SEED=$${SEED:-$${EPOCHSECONDS}}

pkgconfigdir = $(libdir)/pkgconfig
pkgconfig_DATA = msolve.pc
Loading
Loading