MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-26/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-26/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	unsatisfiable_constraint_msg.m > unsatisfiable_constraint_msg.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-09-26/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	unsatisfiable_constraint_msg.m > unsatisfiable_constraint_msg.err 2>&1; \
then false; \
else true; \
fi
Comparing unsatisfiable_constraint_msg.err with unsatisfiable_constraint_msg.err_exp*,
	results in unsatisfiable_constraint_msg.err_res
** unsatisfiable_constraint_msg.err did not match the expected error output
** (closest match was unsatisfiable_constraint_msg.err_res1)
--- unsatisfiable_constraint_msg.err_exp	2020-10-11 14:28:49.000000000 +1100
+++ unsatisfiable_constraint_msg.err	2023-09-27 13:51:17.726673620 +1000
@@ -1,5 +1 @@
-unsatisfiable_constraint_msg.m:020: In clause for predicate `main'/2:
-unsatisfiable_constraint_msg.m:020:   unsatisfiable typeclass constraints:
-unsatisfiable_constraint_msg.m:020:   `unsatisfiable_constraint_msg.tcb(unsatisfiable_constraint_msg.tb(string))'
-unsatisfiable_constraint_msg.m:020:   and
-unsatisfiable_constraint_msg.m:020:   `unsatisfiable_constraint_msg.tcc(string)'.
+Segmentation fault
make[3]: *** [../Mmake.common:172: unsatisfiable_constraint_msg.err_res] Error 1
make[3]: Target 'unsatisfiable_constraint_msg.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-09-26/tests/invalid'