MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/tests/invalid'
/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --make-interface --grade asm_fast.gc.decldebug.stseg.tr    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	hawkins_mm_fail_reset.m > hawkins_mm_fail_reset.int_err 2>&1;
if /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --errorcheck-only --grade asm_fast.gc.decldebug.stseg.tr    --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	hawkins_mm_fail_reset.m > hawkins_mm_fail_reset.err 2>&1; \
then false; \
else true; \
fi
Comparing hawkins_mm_fail_reset.err with hawkins_mm_fail_reset.err_exp*,
	results in hawkins_mm_fail_reset.err_res
** hawkins_mm_fail_reset.err did not match the expected error output
** (closest match was hawkins_mm_fail_reset.err_res2)
--- hawkins_mm_fail_reset.err_exp2	2026-08-18 21:54:16.000000000 +1000
+++ hawkins_mm_fail_reset.err	2026-08-19 05:04:03.321121550 +1000
@@ -2,10 +2,10 @@
 hawkins_mm_fail_reset.m:027:   `entry'/1 could be tighter.
 hawkins_mm_fail_reset.m:027:   Declared `nondet', inferred `failure'.
 hawkins_mm_fail_reset.m:035: Error: minimal model tabling is not compatible
-hawkins_mm_fail_reset.m:035:   with generating high level code.
+hawkins_mm_fail_reset.m:035:   with trailing.
 hawkins_mm_fail_reset.m:037: Warning: this disjunct will never have any
 hawkins_mm_fail_reset.m:037:   solutions.
 hawkins_mm_fail_reset.m:040: Warning: this disjunct will never have any
 hawkins_mm_fail_reset.m:040:   solutions.
 hawkins_mm_fail_reset.m:044: Error: minimal model tabling is not compatible
-hawkins_mm_fail_reset.m:044:   with generating high level code.
+hawkins_mm_fail_reset.m:044:   with trailing.
gmake[3]: *** [../Mmake.common:170: hawkins_mm_fail_reset.err_res] Error 1
gmake[3]: Target 'hawkins_mm_fail_reset.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/tests/invalid'