MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-03/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-03/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics     \
	bug487.m > bug487.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2024-05-03/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --enable-color-diagnostics     \
	bug487.m > bug487.err 2>&1; \
then false; \
else true; \
fi
Comparing bug487.err with bug487.err_exp*,
	results in bug487.err_res
** bug487.err did not match the expected error output
** (closest match was bug487.err_res1)
--- bug487.err_exp	2024-04-30 21:44:02.000000000 +1000
+++ bug487.err	2024-05-04 13:25:04.288381243 +1000
@@ -1,12 +1 @@
-bug487.m:033: When the condition succeeds, the if-then-else defines !:SS, but
-bug487.m:033:   when the condition fails, it does not.
-bug487.m:034: In clause for `do_reconstruct_route(in, out)':
-bug487.m:034:   in argument 3 of call to predicate
-bug487.m:034:   `bug487.construct_solution'/4:
-bug487.m:034:   mode error: variable `STATE_VARIABLE_SS_8' has instantiatedness
-bug487.m:034:   `free',
-bug487.m:034:   expected instantiatedness was `mostly_unique'.
-bug487.m:034: In clause for predicate `do_reconstruct_route'/2:
-bug487.m:034:   warning: variable `STATE_VARIABLE_SS_8' occurs only once in
-bug487.m:034:   this scope.
-bug487.m:034: Warning: reference to uninitialized state variable !.SS.
+Segmentation fault
make[3]: *** [../Mmake.common:172: bug487.err_res] Error 1
make[3]: Target 'bug487.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-05-03/tests/invalid'