MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-11/tests/invalid' /mnt/testing/run/build/mercury-srcdist-rotd-2023-02-11/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ subtype_foreign_supertype.m > subtype_foreign_supertype.int_err 2>&1; if /mnt/testing/run/build/mercury-srcdist-rotd-2023-02-11/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS \ subtype_foreign_supertype.m > subtype_foreign_supertype.err 2>&1; \ then false; \ else true; \ fi Comparing subtype_foreign_supertype.err with subtype_foreign_supertype.err_exp*, results in subtype_foreign_supertype.err_res ** subtype_foreign_supertype.err did not match the expected error output ** (closest match was subtype_foreign_supertype.err_res1) --- subtype_foreign_supertype.err_exp 2021-03-15 22:44:58.000000000 +1100 +++ subtype_foreign_supertype.err 2023-02-12 15:08:33.701833538 +1100 @@ -1,2 +1 @@ -subtype_foreign_supertype.m:013: Error: `fruit'/0 cannot be a supertype because -subtype_foreign_supertype.m:013: it is a foreign type. +Segmentation fault make[3]: *** [../Mmake.common:172: subtype_foreign_supertype.err_res] Error 1 make[3]: Target 'subtype_foreign_supertype.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2023-02-11/tests/invalid'