MERCURY_OPTIONS=
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/tests/invalid'
{ echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --make --options-file - hawkins_mm_fail_reset.err
Making Mercury/int3s/hawkins_mm_fail_reset.int3
Making Mercury/ints/hawkins_mm_fail_reset.int
Making hawkins_mm_fail_reset.err
hawkins_mm_fail_reset.m:027: Warning: the determinism declaration for predicate
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 implemented only
hawkins_mm_fail_reset.m:035:   on the C backend.
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: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 implemented only
hawkins_mm_fail_reset.m:044:   on the C backend.
hawkins_mm_fail_reset.m:044: Error: minimal model tabling is not compatible
hawkins_mm_fail_reset.m:044:   with generating high level code.
** Error making `hawkins_mm_fail_reset.err'.
gmake[3]: [/tmp/mmake.G0Jjox:1297: hawkins_mm_fail_reset.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade java    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/home/mercury/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --make --options-file - -r hawkins_mm_fail_reset.err > /dev/null 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 08:58:27.444430619 +1000
@@ -1,11 +1,15 @@
 hawkins_mm_fail_reset.m:027: Warning: the determinism declaration for predicate
 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 implemented only
+hawkins_mm_fail_reset.m:035:   on the C backend.
 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: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 implemented only
+hawkins_mm_fail_reset.m:044:   on the C backend.
 hawkins_mm_fail_reset.m:044: Error: minimal model tabling is not compatible
 hawkins_mm_fail_reset.m:044:   with generating high level code.
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'