MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-10/tests/invalid'
if /mnt/testing/run/build/mercury-srcdist-rotd-2020-11-10/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt --halt-at-warn --warn-known-bad-format-calls --warn-unknown-format-calls   string_format_bad \
	> string_format_bad.err 2>&1; \
then false; \
else true; \
fi
Comparing string_format_bad.err with string_format_bad.err_exp*,
	results in string_format_bad.err_res
** string_format_bad.err did not match the expected error output
** (closest match was string_format_bad.err_res1)
--- string_format_bad.err_exp	2020-10-11 14:28:49.000000000 +1100
+++ string_format_bad.err	2020-11-12 00:10:10.390123096 +1100
@@ -1,39 +1,2 @@
-string_format_bad.m:020: Mismatched format and values in call to
-string_format_bad.m:020:   `string.format'/3:
-string_format_bad.m:020:   There is no first conversion specifier, but there is
-string_format_bad.m:020:   an input.
-string_format_bad.m:022: Mismatched format and values in call to
-string_format_bad.m:022:   `string.format'/3:
-string_format_bad.m:022:   The first conversion specifier uses the specifier
-string_format_bad.m:022:   character `d', but the corresponding input is a
-string_format_bad.m:022:   string. The only specifier applicable to strings is
-string_format_bad.m:022:   %s.
-string_format_bad.m:025: Mismatched format and values in call to `io.format'/4:
-string_format_bad.m:025:   The first conversion specifier uses the specifier
-string_format_bad.m:025:   character `d', but the corresponding input is a
-string_format_bad.m:025:   string. The only specifier applicable to strings is
-string_format_bad.m:025:   %s.
-string_format_bad.m:026: Mismatched format and values in call to `io.format'/5:
-string_format_bad.m:026:   The first conversion specifier uses the specifier
-string_format_bad.m:026:   character `d', but the corresponding input is a
-string_format_bad.m:026:   string. The only specifier applicable to strings is
-string_format_bad.m:026:   %s.
-string_format_bad.m:027: Mismatched format and values in call to
-string_format_bad.m:027:   `stream.string_writer.format'/5:
-string_format_bad.m:027:   The first conversion specifier uses the specifier
-string_format_bad.m:027:   character `d', but the corresponding input is a
-string_format_bad.m:027:   string. The only specifier applicable to strings is
-string_format_bad.m:027:   %s.
-string_format_bad.m:028: Mismatched format and values in call to `io.format'/4:
-string_format_bad.m:028:   The first conversion specifier uses the unknown
-string_format_bad.m:028:   specifier character `w'.
-string_format_bad.m:037: Mismatched format and values in call to `io.format'/5:
-string_format_bad.m:037:   The second conversion specifier uses the specifier
-string_format_bad.m:037:   character `f', but the corresponding input is an
-string_format_bad.m:037:   integer. The specifiers applicable to ints are %d,
-string_format_bad.m:037:   %i, %o, %x, %X, %u, and %p.
-string_format_bad.m:042: Mismatched format and values in call to `io.format'/5:
-string_format_bad.m:042:   The first conversion specifier uses the specifier
-string_format_bad.m:042:   character `d', but the corresponding input is a
-string_format_bad.m:042:   float. The specifiers applicable to floats are %f,
-string_format_bad.m:042:   %e, %E, %g and %G.
+Uncaught Mercury exception:
+Software Error: predicate `hlds.pred_table.lookup_builtin_pred_proc_id'/8: Unexpected: can't locate string.format.format_cast_uint8_to_uint/2
../Mmake.common:169: recipe for target 'string_format_bad.err_res' failed
make[3]: *** [string_format_bad.err_res] Error 1
make[3]: Target 'string_format_bad.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-10/tests/invalid'