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_unknown \
	> string_format_unknown.err 2>&1; \
then false; \
else true; \
fi
Comparing string_format_unknown.err with string_format_unknown.err_exp*,
	results in string_format_unknown.err_res
** string_format_unknown.err did not match the expected error output
** (closest match was string_format_unknown.err_res1)
--- string_format_unknown.err_exp	2020-10-11 14:28:49.000000000 +1100
+++ string_format_unknown.err	2020-11-12 00:10:10.426121278 +1100
@@ -1,33 +1,2 @@
-string_format_unknown.m:021: Unknown format string in call to
-string_format_unknown.m:021:   `string.format'/3.
-string_format_unknown.m:023: Mismatched format and values in call to
-string_format_unknown.m:023:   `string.format'/3:
-string_format_unknown.m:023:   The first conversion specifier uses the
-string_format_unknown.m:023:   specifier character `d', but the corresponding
-string_format_unknown.m:023:   input is a string. The only specifier applicable
-string_format_unknown.m:023:   to strings is %s.
-string_format_unknown.m:026: Mismatched format and values in call to
-string_format_unknown.m:026:   `io.format'/4:
-string_format_unknown.m:026:   The first conversion specifier uses the
-string_format_unknown.m:026:   specifier character `d', but the corresponding
-string_format_unknown.m:026:   input is a string. The only specifier applicable
-string_format_unknown.m:026:   to strings is %s.
-string_format_unknown.m:027: Mismatched format and values in call to
-string_format_unknown.m:027:   `io.format'/5:
-string_format_unknown.m:027:   The first conversion specifier uses the
-string_format_unknown.m:027:   specifier character `d', but the corresponding
-string_format_unknown.m:027:   input is a string. The only specifier applicable
-string_format_unknown.m:027:   to strings is %s.
-string_format_unknown.m:028: Mismatched format and values in call to
-string_format_unknown.m:028:   `io.format'/4:
-string_format_unknown.m:028:   The first conversion specifier uses the unknown
-string_format_unknown.m:028:   specifier character `w'.
-string_format_unknown.m:038: Unknown format values in call to `io.format'/5.
-string_format_unknown.m:039: Unknown format values in call to
-string_format_unknown.m:039:   `stream.string_writer.format'/5.
-string_format_unknown.m:044: Mismatched format and values in call to
-string_format_unknown.m:044:   `io.format'/5:
-string_format_unknown.m:044:   The first conversion specifier uses the
-string_format_unknown.m:044:   specifier character `d', but the corresponding
-string_format_unknown.m:044:   input is a float. The specifiers applicable to
-string_format_unknown.m:044:   floats are %f, %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_unknown.err_res' failed
make[3]: *** [string_format_unknown.err_res] Error 1
make[3]: Target 'string_format_unknown.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-11-10/tests/invalid'