MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-05-03/tests/invalid' if /mnt/testing/run/build/mercury-srcdist-rotd-2019-05-03/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS -O5 --intermod-opt --allow-stubs --no-warn-stubs bug214 \ > bug214.err 2>&1; \ then false; else true; fi Comparing bug214.err with bug214.err_exp*, results in bug214.err_res ** bug214.err did not match the expected error output ** (closest match was bug214.err_res1) --- bug214.err_exp 2018-08-16 20:41:43.000000000 +1000 +++ bug214.err 2019-05-05 07:12:21.900039536 +1000 @@ -1,3 +1,3 @@ bug214.m:043: In predicate `solve_mip_cg'/2: bug214.m:043: type error: unsatisfied typeclass constraint: -bug214.m:043: `bug214.linear_expr(int, V_15, int)' +bug214.m:043: `bug214.linear_expr(int, V_12, int)' ../Mmake.common:147: recipe for target 'bug214.err_res' failed make[3]: *** [bug214.err_res] Error 1 make[3]: Target 'bug214.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2019-05-03/tests/invalid'