MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-15/tests/invalid'
../Mmake.common:335: warning: undefined variable 'TRAILED_PROGS'
/tmp/mmake.Hmgerq:1310: warning: undefined variable 'TRAILED_PROGS'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-15/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	oisu_check_semantic_errors.m > oisu_check_semantic_errors.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-15/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics     \
	oisu_check_semantic_errors.m > oisu_check_semantic_errors.err 2>&1; \
then false; \
else true; \
fi
Comparing oisu_check_semantic_errors.err with oisu_check_semantic_errors.err_exp*,
	results in oisu_check_semantic_errors.err_res
** oisu_check_semantic_errors.err did not match the expected error output
** (closest match was oisu_check_semantic_errors.err_res1)
--- oisu_check_semantic_errors.err_exp	2020-10-11 14:28:49.000000000 +1100
+++ oisu_check_semantic_errors.err	2024-07-16 21:15:40.920279802 +1000
@@ -1,45 +1 @@
-oisu_check_semantic_errors.m:029: The first argument of predicate
-oisu_check_semantic_errors.m:029:   `create_foo2'/1 should be a creator of its
-oisu_check_semantic_errors.m:029:   OISU type, but its mode is not output.
-oisu_check_semantic_errors.m:030: The second argument of predicate
-oisu_check_semantic_errors.m:030:   `create_foo3'/2 handles a previous handled
-oisu_check_semantic_errors.m:030:   OISU type.
-oisu_check_semantic_errors.m:032: Since the first argument of predicate
-oisu_check_semantic_errors.m:032:   `mutate_foo1'/3 is a mutator of its OISU
-oisu_check_semantic_errors.m:032:   type, it should be followed by another
-oisu_check_semantic_errors.m:032:   argument of the same type.
-oisu_check_semantic_errors.m:032: The third argument of predicate
-oisu_check_semantic_errors.m:032:   `mutate_foo1'/3 handles a previous handled
-oisu_check_semantic_errors.m:032:   OISU type.
-oisu_check_semantic_errors.m:033: The second argument of predicate
-oisu_check_semantic_errors.m:033:   `mutate_foo2'/3 should be the input of the
-oisu_check_semantic_errors.m:033:   mutator of its OISU type, but its mode is
-oisu_check_semantic_errors.m:033:   not input.
-oisu_check_semantic_errors.m:033: The third argument of predicate
-oisu_check_semantic_errors.m:033:   `mutate_foo2'/3 should be the output of the
-oisu_check_semantic_errors.m:033:   mutator of its OISU type, but its mode is
-oisu_check_semantic_errors.m:033:   not output.
-oisu_check_semantic_errors.m:035: predicate `destroy_foo1'/3 is declared to
-oisu_check_semantic_errors.m:035:   handle the following OISU types, but it
-oisu_check_semantic_errors.m:035:   does not:
-oisu_check_semantic_errors.m:035:     `bar'/0 (as destructor).
-oisu_check_semantic_errors.m:036: The first argument of predicate
-oisu_check_semantic_errors.m:036:   `destroy_foo2'/3 should be a destructor of
-oisu_check_semantic_errors.m:036:   its OISU type, but its mode is not input.
-oisu_check_semantic_errors.m:037: The second argument of predicate
-oisu_check_semantic_errors.m:037:   `destroy_foo3'/4 handles a previous handled
-oisu_check_semantic_errors.m:037:   OISU type.
-oisu_check_semantic_errors.m:038: predicate `destroy_foo4'/3 is mentioned in a
-oisu_check_semantic_errors.m:038:   `:- pragma oisu' declaration, so it should
-oisu_check_semantic_errors.m:038:   have exactly one procedure.
-oisu_check_semantic_errors.m:042: predicate `create_bar1'/2 is declared to
-oisu_check_semantic_errors.m:042:   handle the following OISU types, but it
-oisu_check_semantic_errors.m:042:   does not:
-oisu_check_semantic_errors.m:042:     `foo'/0 (as mutator).
-oisu_check_semantic_errors.m:046: predicate `destroy_bar1'/3 is declared to
-oisu_check_semantic_errors.m:046:   handle the following OISU types, but it
-oisu_check_semantic_errors.m:046:   does not:
-oisu_check_semantic_errors.m:046:     `foo'/0 (as destructor).
-oisu_check_semantic_errors.m:048: The second argument of predicate
-oisu_check_semantic_errors.m:048:   `create_foobar1'/3 is an OISU type but it
-oisu_check_semantic_errors.m:048:   is not listed in that type's OISU pragma.
+Segmentation fault
make[3]: *** [../Mmake.common:172: oisu_check_semantic_errors.err_res] Error 1
make[3]: Target 'oisu_check_semantic_errors.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-15/tests/invalid'