MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-05-09/tests/invalid'
/mnt/testing/run/build/mercury-srcdist-rotd-2023-05-09/stage2/scripts/mmc --make-interface --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	det_errors.m > det_errors.int_err 2>&1;
if /mnt/testing/run/build/mercury-srcdist-rotd-2023-05-09/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc     --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS     \
	det_errors.m > det_errors.err 2>&1; \
then false; \
else true; \
fi
Comparing det_errors.err with det_errors.err_exp*,
	results in det_errors.err_res
** det_errors.err did not match the expected error output
** (closest match was det_errors.err_res1)
--- det_errors.err_exp	2023-04-20 21:55:22.000000000 +1000
+++ det_errors.err	2023-05-10 14:48:48.891475280 +1000
@@ -1,81 +1 @@
-det_errors.m:009: In `p1'(in):
-det_errors.m:009:   error: determinism declaration not satisfied.
-det_errors.m:009:   Declared `det', inferred `semidet'.
-det_errors.m:009:   The reason for the difference is the following.
-det_errors.m:042:   In argument 1 of clause head:
-det_errors.m:042:   unification of `HeadVar__1' and `42' can fail.
-det_errors.m:010: In `p2'(in):
-det_errors.m:010:   error: determinism declaration not satisfied.
-det_errors.m:010:   Declared `det', inferred `semidet'.
-det_errors.m:010:   The reason for the difference is the following.
-det_errors.m:043:   Unification of `X' and `42' can fail.
-det_errors.m:011: In `p3'(in):
-det_errors.m:011:   error: determinism declaration not satisfied.
-det_errors.m:011:   Declared `det', inferred `semidet'.
-det_errors.m:011:   The reason for the difference is the following.
-det_errors.m:044:   Unification of `X' and `42' can fail.
-det_errors.m:012: In `p4'(in):
-det_errors.m:012:   error: determinism declaration not satisfied.
-det_errors.m:012:   Declared `det', inferred `semidet'.
-det_errors.m:012:   The reason for the difference is the following.
-det_errors.m:045:   In argument 2 of functor `+/2':
-det_errors.m:045:   unification with `21' can fail.
-det_errors.m:026: In `q'(in, out):
-det_errors.m:026:   error: determinism declaration not satisfied.
-det_errors.m:026:   Declared `det', inferred `semidet'.
-det_errors.m:026:   The reason for the difference is the following.
-det_errors.m:048:   The switch on HeadVar__1 does not cover
-det_errors.m:048:     `d'/0,
-det_errors.m:048:     `e'/0,
-det_errors.m:048:     `f'/0,
-det_errors.m:048:     `g'/0,
-det_errors.m:048:     `h'/1 or
-det_errors.m:048:     `i'/1.
-det_errors.m:034: In `r'(in, out):
-det_errors.m:034:   error: determinism declaration not satisfied.
-det_errors.m:034:   Declared `det', inferred `nondet'.
-det_errors.m:034:   The reasons for the difference are the following.
-det_errors.m:054:   The switch on U does not cover
-det_errors.m:054:     `u2'/0.
-det_errors.m:057:   Inside the case u3(V_16) of the switch on U:
-det_errors.m:057:   the switch on V_16 does not cover
-det_errors.m:057:     `d'/0,
-det_errors.m:057:     `e'/0,
-det_errors.m:057:     `f'/0,
-det_errors.m:057:     `g'/0,
-det_errors.m:057:     `h'/1 or
-det_errors.m:057:     `i'/1.
-det_errors.m:066:   Inside the case u4(V_17) of the switch on U:
-det_errors.m:066:   the switch on V_17 does not cover
-det_errors.m:066:     `h'/1 or
-det_errors.m:066:     `i'/1.
-det_errors.m:075:   Inside the case u4(V_17) of the switch on U:
-det_errors.m:075:   inside the case d/0 of the switch on V_17:
-det_errors.m:075:   disjunction has more than one disjunct with solutions.
-det_errors.m:078:   This later disjunct may have a solution.
-det_errors.m:035: In `s'(in, out):
-det_errors.m:035:   error: determinism declaration not satisfied.
-det_errors.m:035:   Declared `det', inferred `nondet'.
-det_errors.m:035:   The reasons for the difference are the following.
-det_errors.m:093:   The switch on U does not cover
-det_errors.m:093:     `u2'/0.
-det_errors.m:096:   Inside the case u3(V_11) of the switch on U:
-det_errors.m:096:   the switch on V_11 does not cover
-det_errors.m:096:     `d'/0,
-det_errors.m:096:     `e'/0,
-det_errors.m:096:     `f'/0,
-det_errors.m:096:     `g'/0,
-det_errors.m:096:     `h'/1 or
-det_errors.m:096:     `i'/1.
-det_errors.m:116:   Inside the case u4(V) of the switch on U:
-det_errors.m:116:   inside the case d/0 of the switch on V:
-det_errors.m:116:   disjunction has more than one disjunct with solutions.
-det_errors.m:119:   This later disjunct may have a solution.
-det_errors.m:125:   Inside the case u4(V) of the switch on U:
-det_errors.m:125:   inside the case e/0, f/0 of the switch on V:
-det_errors.m:125:   disjunction has more than one disjunct with solutions.
-det_errors.m:126:   This later disjunct may have a solution.
-det_errors.m:135:   Inside the case u4(V) of the switch on U:
-det_errors.m:135:   inside the case h/1, i/1 of the switch on V:
-det_errors.m:135:   disjunction has more than one disjunct with solutions.
-det_errors.m:136:   This later disjunct may have a solution.
+Segmentation fault
make[3]: *** [../Mmake.common:172: det_errors.err_res] Error 1
make[3]: Target 'det_errors.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-05-09/tests/invalid'