MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:1301: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2425: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.b0stqt:2426: warning: undefined variable 'TRAILED_PROGS'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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 += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/scripts/mmc --make --options-file - try_detism.err
Making Mercury/int3s/try_detism.int3
Making Mercury/ints/try_detism.int
Making try_detism.err
try_detism.m:016: Error: the determinism declaration for `p'(out, di, uo) is
try_detism.m:016:   not satisfied.
try_detism.m:016:   Declared `cc_multi', inferred `cc_nondet'.
try_detism.m:016:   The reason for the difference is the following.
try_detism.m:023:   In argument 1 of call to predicate `try_detism.q'/3:
try_detism.m:023:   unification with `X' can fail.
try_detism.m:022: Error: call to predicate `exception.magic_exception_result'/1
try_detism.m:022:   with determinism `cc_multi' occurs in a context which
try_detism.m:022:   requires all solutions.
try_detism.m:023:   Unification of `X' and `V_19' can fail.
try_detism.m:022: In clause for `p(out, di, uo)':
try_detism.m:022:   in call to predicate `exception.try_io'/4:
try_detism.m:022:   mode error: arguments `TryLambda', `TryResult',
try_detism.m:022:   `STATE_VARIABLE_IO_10' and `TryIOOutput' have the following
try_detism.m:022:   insts:
... output log truncated, see `try_detism.err' for the complete log.
** Error making `try_detism.err'.
make[3]: [/tmp/mmake.b0stqt:1302: try_detism.err] Error 1 (ignored)
if { echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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 += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/stage2/scripts/mmc --make --options-file - -r try_detism.err > /dev/null 2>&1 ; \
then false; \
else true; \
fi
Comparing try_detism.err with try_detism.err_exp*,
	results in try_detism.err_res
** try_detism.err did not match the expected error output
** (closest match was try_detism.err_res1)
--- try_detism.err_exp	2024-06-02 20:00:36.000000000 +1000
+++ try_detism.err	2024-07-18 15:04:36.695273374 +1000
@@ -7,7 +7,7 @@
 try_detism.m:022: Error: call to predicate `exception.magic_exception_result'/1
 try_detism.m:022:   with determinism `cc_multi' occurs in a context which
 try_detism.m:022:   requires all solutions.
-try_detism.m:023:   Unification of `X' and `V_17' can fail.
+try_detism.m:023:   Unification of `X' and `V_19' can fail.
 try_detism.m:022: In clause for `p(out, di, uo)':
 try_detism.m:022:   in call to predicate `exception.try_io'/4:
 try_detism.m:022:   mode error: arguments `TryLambda', `TryResult',
make[3]: *** [../Mmake.common:172: try_detism.err_res] Error 1
make[3]: Target 'try_detism.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-17/tests/invalid'