MERCURY_OPTIONS= --deep-random-write=25 --deep-std-name --mdb-disable-progress gmake[3]: Entering directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/tests/invalid' /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --make-interface --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics \ hawkins_mm_fail_reset.m > hawkins_mm_fail_reset.int_err 2>&1; if /home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/stage2/scripts/mmc --errorcheck-only --grade hlc.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --color-diagnostics \ hawkins_mm_fail_reset.m > hawkins_mm_fail_reset.err 2>&1; \ then false; \ else true; \ fi Comparing hawkins_mm_fail_reset.err with hawkins_mm_fail_reset.err_exp*, results in hawkins_mm_fail_reset.err_res ** hawkins_mm_fail_reset.err did not match the expected error output ** (closest match was hawkins_mm_fail_reset.err_res2) --- hawkins_mm_fail_reset.err_exp2 2026-08-18 21:54:16.000000000 +1000 +++ hawkins_mm_fail_reset.err 2026-08-19 09:37:03.674003386 +1000 @@ -1,11 +1,15 @@ hawkins_mm_fail_reset.m:027: Warning: the determinism declaration for predicate hawkins_mm_fail_reset.m:027: `entry'/1 could be tighter. hawkins_mm_fail_reset.m:027: Declared `nondet', inferred `failure'. +hawkins_mm_fail_reset.m:035: Error: minimal model tabling is not compatible +hawkins_mm_fail_reset.m:035: with parallel execution. hawkins_mm_fail_reset.m:035: Error: minimal model tabling is not compatible hawkins_mm_fail_reset.m:035: with generating high level code. hawkins_mm_fail_reset.m:037: Warning: this disjunct will never have any hawkins_mm_fail_reset.m:037: solutions. hawkins_mm_fail_reset.m:040: Warning: this disjunct will never have any hawkins_mm_fail_reset.m:040: solutions. +hawkins_mm_fail_reset.m:044: Error: minimal model tabling is not compatible +hawkins_mm_fail_reset.m:044: with parallel execution. hawkins_mm_fail_reset.m:044: Error: minimal model tabling is not compatible hawkins_mm_fail_reset.m:044: with generating high level code. gmake[3]: *** [../Mmake.common:170: hawkins_mm_fail_reset.err_res] Error 1 gmake[3]: Target 'hawkins_mm_fail_reset.runtest' not remade because of errors. gmake[3]: Leaving directory '/home/mercury/testing/run/build/mercury-srcdist-rotd-2026-08-18/tests/invalid'