mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-06 07:49:02 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
mercury/tests/general
History
Zoltan Somogyi 2a1f376c5d Use spaces in all Mercury.options files. 
Use consistent indentation.

Sort many blocks of module-specific MCFLAGS settings by module name.

Add XXXs about some questionable options.
2025-12-06 10:39:04 +11:00
..
.gitignore
…
arithmetic.exp
…
arithmetic.m
…
array_binsearch.exp
…
array_binsearch.m
…
array_test.exp
…
array_test.m
…
base_string_to_int_test.exp
…
base_string_to_int_test.m
…
base_string_to_integer.exp
…
base_string_to_integer.m
…
commit_bug_1.exp
…
commit_bug_1.m
…
commit_bug_2.exp
…
commit_bug_2.m
…
complex_failure.exp
…
complex_failure.m
…
det_complicated_unify_1.exp
…
det_complicated_unify_1.m
…
det_complicated_unify_2.exp
…
det_complicated_unify_2.m
…
determinism_inlining.exp
…
determinism_inlining.m
…
disj_disj.exp
…
disj_disj.m
…
dnf.exp
…
dnf.m
…
do_while.exp
…
do_while.m
…
double_error_1.exp
…
double_error_1.m
…
double_error_2.exp
…
double_error_2.m
…
duplicate_label.exp
…
duplicate_label.m
…
Entry
…
environment.exp
…
environment.exp2
…
environment.m
…
fail_detism.exp
…
fail_detism.m
…
float_roundtrip.exp
…
float_roundtrip.exp2
…
float_roundtrip.m
…
float_test.exp
…
float_test.exp2
…
float_test.m
…
frameopt_mkframe_bug.exp
…
frameopt_mkframe_bug.m
…
hello_again.exp
…
hello_again.m
…
higher_order.exp
…
higher_order.m
…
hlc_name_mangling-helper-module.m
…
hlc_name_mangling.exp
…
hlc_name_mangling.m
…
ho_spec_branch_bug.exp
…
ho_spec_branch_bug.m
…
intermod_type_helper_1.m
…
intermod_type.exp
…
intermod_type.m
…
io_foldl.exp
…
io_foldl.m
…
io_regression.exp
…
io_regression.inp
…
io_regression.m
…
liveness_1.exp
…
liveness_1.m
…
liveness_2.exp
…
liveness_2.m
…
Makefile
…
map_corresponding.exp
…
map_corresponding.m
…
map_equal.exp
…
map_equal.m
…
Mercury.options
Use spaces in all Mercury.options files.
2025-12-06 10:39:04 +11:00
Mmakefile
…
mode_inf_bug.exp
…
mode_inf_bug.m
…
mode_inf.exp
…
mode_inf.m
…
mode_inference_reorder.exp
…
mode_inference_reorder.inp
…
mode_inference_reorder.m
…
mu.exp
…
mu.m
…
nasty_nondet.exp
…
nasty_nondet.m
…
nondet_disj.exp
…
nondet_disj.m
…
nondet_ite_1.exp
…
nondet_ite_1.m
…
nondet_ite_2.exp
…
nondet_ite_2.m
…
nondet_ite_3.exp
…
nondet_ite_3.m
…
nondet_ite_4.exp
…
nondet_ite_4.m
…
nondetlive.exp
…
nondetlive.m
…
NP_Entry
…
parse_list.exp
…
parse_list.m
…
partition.exp
…
partition.m
…
petdr1.exp
…
prune_switch.exp
…
prune_switch.m
…
read_dir_regression.exp
…
read_dir_regression.exp2
…
read_dir_regression.exp3
…
read_dir_regression.exp4
…
read_dir_regression.m
…
read_line_as_string.exp
…
read_line_as_string.m
…
semi_fail_in_non_ite.exp
…
semi_fail_in_non_ite.m
…
semidet_lambda.exp
…
semidet_lambda.m
…
semidet_map.exp
…
semidet_map.m
…
set_test.exp
…
set_test.m
…
state_var_trace.m
…
state_vars_tests.exp
…
state_vars_tests.m
…
state_vars_typeclasses.exp
…
state_vars_typeclasses.m
…
string_foldl_substring.exp
…
string_foldl_substring.m
…
string_foldr_substring.exp
…
string_foldr_substring.m
…
string_format_special_floats.exp
…
string_format_special_floats.m
…
string_format_test_1.exp
…
string_format_test_1.exp2
…
string_format_test_1.exp3
…
string_format_test_1.m
…
string_format_test_2.exp
…
string_format_test_2.exp2
…
string_format_test_2.exp3
…
string_format_test_2.exp4
…
string_format_test_2.exp5
…
string_format_test_2.m
…
string_format_test_3.exp
…
string_format_test_3.exp2
…
string_format_test_3.exp3
…
string_format_test_3.exp4
…
string_format_test_3.exp5
…
string_format_test_3.m
…
string_replace.exp
…
string_replace.exp2
…
string_replace.m
…
string_test_1.exp
…
string_test_1.m
…
string_test_2.exp
…
string_test_2.m
…
string_to_float.exp
…
string_to_float.exp2
…
string_to_float.m
…
test_parsing_utils.exp
…
test_parsing_utils.exp2
…
test_parsing_utils.m
…
test_string_to_int_overflow.exp
…
test_string_to_int_overflow.exp2
…
test_string_to_int_overflow.m
…
test_univ.exp
…
test_univ.m
…
unreachable.exp
…
unreachable.m
…
unsafe_uniqueness.exp
…
unsafe_uniqueness.m
…
unused_arg_determinism.exp
…
unused_arg_determinism.m
…