MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-12-10/tests/invalid_options_file'
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-12-10/stage2/scripts/mmc --errorcheck-only --options-file unterminated_string.options_file \
	--halt-at-warn --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     unterminated_string \
	> unterminated_string.err 2>&1; \
then false; \
else true; \
fi
Comparing unterminated_string.err with unterminated_string.err_exp*,
	results in unterminated_string.err_res
** unterminated_string.err did not match the expected error output
** (closest match was unterminated_string.err_res1)
--- unterminated_string.err_exp	2020-10-11 14:28:49.000000000 +1100
+++ unterminated_string.err	2023-12-11 12:39:28.079334366 +1100
@@ -1 +1 @@
-unterminated_string.options_file:002: Error: unterminated string.
+Segmentation fault
make[3]: *** [../Mmake.common:172: unterminated_string.err_res] Error 1
make[3]: Target 'unterminated_string.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-12-10/tests/invalid_options_file'