MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-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    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/scripts/mmc --make --options-file - unsigned_zero_cmp.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-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    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-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 = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/stage2/scripts/mmc --make --options-file - unsigned_zero_cmp.err
Making Mercury/int3s/unsigned_zero_cmp.int3
Making Mercury/ints/unsigned_zero_cmp.int
** Nothing to be done for `unsigned_zero_cmp.err'.
rm -f unsigned_zero_cmp.res_error
diff -u unsigned_zero_cmp.err_exp unsigned_zero_cmp.err > unsigned_zero_cmp.res_error || \
	{ test -f unsigned_zero_cmp.err_exp2 && \
	  diff -u unsigned_zero_cmp.err_exp2 unsigned_zero_cmp.err > unsigned_zero_cmp.res_error; } || \
	{ test -f unsigned_zero_cmp.err_exp3 && \
	  diff -u unsigned_zero_cmp.err_exp3 unsigned_zero_cmp.err > unsigned_zero_cmp.res_error; } || \
	{ test -f unsigned_zero_cmp.err_exp4 && \
	  diff -u unsigned_zero_cmp.err_exp4 unsigned_zero_cmp.err > unsigned_zero_cmp.res_error; } || \
	{ cat unsigned_zero_cmp.err; cat unsigned_zero_cmp.res_error; exit 1; }
--- unsigned_zero_cmp.err_exp	2024-05-20 21:50:23.000000000 +1000
+++ unsigned_zero_cmp.err	2024-09-06 18:48:31.330371535 +1000
@@ -1,46 +0,0 @@
-unsigned_zero_cmp.m:028: Warning: call to predicate `uint.<'/2 cannot succeed.
-unsigned_zero_cmp.m:028:   There are no uint values < 0u.
-unsigned_zero_cmp.m:029: Warning: call to predicate `uint.>'/2 cannot succeed.
-unsigned_zero_cmp.m:029:   0u is not > any uint value.
-unsigned_zero_cmp.m:030: Warning: call to predicate `uint.=<'/2 cannot fail.
-unsigned_zero_cmp.m:030:   0u is =< all uint values.
-unsigned_zero_cmp.m:031: Warning: call to predicate `uint.>='/2 cannot fail.
-unsigned_zero_cmp.m:031:   All uint values are >= 0u.
-unsigned_zero_cmp.m:034: Warning: call to predicate `uint8.<'/2 cannot succeed.
-unsigned_zero_cmp.m:034:   There are no uint8 values < 0u8.
-unsigned_zero_cmp.m:035: Warning: call to predicate `uint8.>'/2 cannot succeed.
-unsigned_zero_cmp.m:035:   0u8 is not > any uint8 value.
-unsigned_zero_cmp.m:036: Warning: call to predicate `uint8.=<'/2 cannot fail.
-unsigned_zero_cmp.m:036:   0u8 is =< all uint8 values.
-unsigned_zero_cmp.m:037: Warning: call to predicate `uint8.>='/2 cannot fail.
-unsigned_zero_cmp.m:037:   All uint8 values are >= 0u8.
-unsigned_zero_cmp.m:040: Warning: call to predicate `uint16.<'/2 cannot
-unsigned_zero_cmp.m:040:   succeed.
-unsigned_zero_cmp.m:040:   There are no uint16 values < 0u16.
-unsigned_zero_cmp.m:041: Warning: call to predicate `uint16.>'/2 cannot
-unsigned_zero_cmp.m:041:   succeed.
-unsigned_zero_cmp.m:041:   0u16 is not > any uint16 value.
-unsigned_zero_cmp.m:042: Warning: call to predicate `uint16.=<'/2 cannot fail.
-unsigned_zero_cmp.m:042:   0u16 is =< all uint16 values.
-unsigned_zero_cmp.m:043: Warning: call to predicate `uint16.>='/2 cannot fail.
-unsigned_zero_cmp.m:043:   All uint16 values are >= 0u16.
-unsigned_zero_cmp.m:046: Warning: call to predicate `uint32.<'/2 cannot
-unsigned_zero_cmp.m:046:   succeed.
-unsigned_zero_cmp.m:046:   There are no uint32 values < 0u32.
-unsigned_zero_cmp.m:047: Warning: call to predicate `uint32.>'/2 cannot
-unsigned_zero_cmp.m:047:   succeed.
-unsigned_zero_cmp.m:047:   0u32 is not > any uint32 value.
-unsigned_zero_cmp.m:048: Warning: call to predicate `uint32.=<'/2 cannot fail.
-unsigned_zero_cmp.m:048:   0u32 is =< all uint32 values.
-unsigned_zero_cmp.m:049: Warning: call to predicate `uint32.>='/2 cannot fail.
-unsigned_zero_cmp.m:049:   All uint32 values are >= 0u32.
-unsigned_zero_cmp.m:052: Warning: call to predicate `uint64.<'/2 cannot
-unsigned_zero_cmp.m:052:   succeed.
-unsigned_zero_cmp.m:052:   There are no uint64 values < 0u64.
-unsigned_zero_cmp.m:053: Warning: call to predicate `uint64.>'/2 cannot
-unsigned_zero_cmp.m:053:   succeed.
-unsigned_zero_cmp.m:053:   0u64 is not > any uint64 value.
-unsigned_zero_cmp.m:054: Warning: call to predicate `uint64.=<'/2 cannot fail.
-unsigned_zero_cmp.m:054:   0u64 is =< all uint64 values.
-unsigned_zero_cmp.m:055: Warning: call to predicate `uint64.>='/2 cannot fail.
-unsigned_zero_cmp.m:055:   All uint64 values are >= 0u64.
make[3]: *** [/tmp/mmake.cetUUQ:922: unsigned_zero_cmp.res_error] Error 1
make[3]: Target 'unsigned_zero_cmp.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-09-05/tests/warnings'