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-09-05/tests/warnings'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-suspicious-foreign-procs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/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-09-05/stage2/scripts/mmc --make --options-file - warn_succ_ind.depend
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/tests/warnings'
gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/tests/warnings'
{ echo MCFLAGS += '--grade csharp    --options-file /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --output-compile-error-lines 0 --color-diagnostics --infer-all --use-subdirs  --warn-suspicious-foreign-procs  '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/stage2/library/mer_std.init /home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/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-09-05/stage2/scripts/mmc --make --options-file - warn_succ_ind.err
Making Mercury/int3s/warn_succ_ind.int3
Making Mercury/ints/warn_succ_ind.int
Making warn_succ_ind.err
... output log truncated, see `warn_succ_ind.err' for the complete log.
Comparing warn_succ_ind.err with warn_succ_ind.err_exp*,
	results in warn_succ_ind.err_res
** warn_succ_ind.err did not match the expected error output
** (closest match was warn_succ_ind.err_res2)
--- warn_succ_ind.err_exp2	2025-05-12 23:02:36.000000000 +1000
+++ warn_succ_ind.err	2025-09-06 06:05:30.755886164 +1000
@@ -6,4 +6,3 @@
 warn_succ_ind.m:085:   to set `SUCCESS_INDICATOR', but it can fail.
 warn_succ_ind.m:106: Warning: the C# code for predicate `bar2'/2 does not
 warn_succ_ind.m:106:   appear to set `SUCCESS_INDICATOR', but it can fail.
-mkinit: error opening file `warn_succ_ind.c': No such file or directory
gmake[3]: *** [../Mmake.common:166: warn_succ_ind.err_res] Error 1
gmake[3]: Target 'warn_succ_ind.runtest' not remade because of errors.
gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2025-09-05/tests/warnings'
ERROR OUTPUT
warn_succ_ind.m:038: Warning: the C# code for predicate `foo'/2 may set
warn_succ_ind.m:038:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:062: Warning: the C# code for predicate `foo2'/2 may set
warn_succ_ind.m:062:   `SUCCESS_INDICATOR', but it cannot fail.
warn_succ_ind.m:085: Warning: the C# code for predicate `bar'/2 does not appear
warn_succ_ind.m:085:   to set `SUCCESS_INDICATOR', but it can fail.
warn_succ_ind.m:106: Warning: the C# code for predicate `bar2'/2 does not
warn_succ_ind.m:106:   appear to set `SUCCESS_INDICATOR', but it can fail.
END OF THE ERROR OUTPUT