MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/tests/warnings'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/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-2025-03-27/stage2/scripts/mmc --make --options-file - det_infer_warning.depend
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/tests/warnings'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/tests/warnings'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/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-2025-03-27/stage2/scripts/mmc --make --options-file - det_infer_warning.err
Making Mercury/int3s/det_infer_warning.int3
Making Mercury/ints/det_infer_warning.int
** Nothing to be done for `det_infer_warning.err'.
Comparing det_infer_warning.err with det_infer_warning.err_exp*,
	results in det_infer_warning.err_res
** det_infer_warning.err did not match the expected error output
** (closest match was det_infer_warning.err_res1)
--- det_infer_warning.err_exp	2025-01-10 21:53:49.000000000 +1100
+++ det_infer_warning.err	2025-03-28 23:27:07.107694989 +1100
@@ -1,3 +0,0 @@
-det_infer_warning.m:022: Warning: the determinism declaration for predicate
-det_infer_warning.m:022:   `test2'/0 could be tighter.
-det_infer_warning.m:022:   Declared `semidet', inferred `det'.
gmake[3]: *** [../Mmake.common:166: det_infer_warning.err_res] Error 1
gmake[3]: Target 'det_infer_warning.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-03-27/tests/warnings'