MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-16/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-16/stage2/scripts/mmc --make-interface --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics -O5 --intermod-opt --allow-stubs --no-warn-stubs   \
	bug214.m > bug214.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-05-16/stage2/scripts/mmc --errorcheck-only --grade asm_fast.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics -O5 --intermod-opt --allow-stubs --no-warn-stubs   \
	bug214.m > bug214.err 2>&1; \
then false; \
else true; \
fi
Comparing bug214.err with bug214.err_exp*,
	results in bug214.err_res
** bug214.err did not match the expected error output
** (closest match was bug214.err_res1)
--- bug214.err_exp	2024-05-09 21:31:44.000000000 +1000
+++ bug214.err	2024-05-17 04:22:07.689093021 +1000
@@ -1,3 +1,3 @@
 bug214.m:043: In predicate `solve_mip_cg'/2:
 bug214.m:043:   type error: unsatisfied typeclass constraint:
-bug214.m:043:     `bug214.linear_expr(int, V_15, int)'
+bug214.m:043:     `bug214.linear_expr(int, V_16, int)'
make[3]: *** [../Mmake.common:172: bug214.err_res] Error 1
make[3]: Target 'bug214.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-16/tests/invalid'