MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-11-04/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-11-04/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	inst_for_eqv_type.m > inst_for_eqv_type.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-11-04/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	inst_for_eqv_type.m > inst_for_eqv_type.err 2>&1; \
then false; \
else true; \
fi
Comparing inst_for_eqv_type.err with inst_for_eqv_type.err_exp*,
	results in inst_for_eqv_type.err_res
** inst_for_eqv_type.err did not match the expected error output
** (closest match was inst_for_eqv_type.err_res1)
--- inst_for_eqv_type.err_exp	2023-09-17 21:02:33.000000000 +1000
+++ inst_for_eqv_type.err	2023-11-05 12:25:54.515169296 +1100
@@ -1,6 +1 @@
-inst_for_eqv_type.m:014: Error: inst `one_two'/0 is declared to be for type
-inst_for_eqv_type.m:014:   `inst_for_eqv_type.et'/0, but that type is an
-inst_for_eqv_type.m:014:   equivalence type, and thus has no function symbols
-inst_for_eqv_type.m:014:   of its own. Change the inst definition to refer to
-inst_for_eqv_type.m:014:   the type constructor that `inst_for_eqv_type.et'/0
-inst_for_eqv_type.m:014:   expands to.
+Segmentation fault (core dumped)
make[3]: *** [../Mmake.common:172: inst_for_eqv_type.err_res] Error 1
make[3]: Target 'inst_for_eqv_type.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-11-04/tests/invalid'