MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/tests/declarative_debugger' /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mmc --generate-dependencies --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace decl -O5 --intermod-opt throw > throw.dep_err 2>&1 make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/tests/declarative_debugger' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/tests/declarative_debugger' /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mmc --make-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace decl -O5 --intermod-opt throw /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mmc --make-optimization-interface --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace decl -O5 --intermod-opt throw /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mmc --compile-to-c --grade asm_fast.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace decl -O5 --intermod-opt throw > throw.err 2>&1 /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mgnuc --grade asm_fast.gc -- -c throw.c -o throw.o /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/mgnuc --grade asm_fast.gc -- -c throw_init.c -o throw_init.o /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/ml --grade asm_fast.gc --no-mercury-stdlib-dir --trace --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/browser/mer_browser.init --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/mdbcomp/mer_mdbcomp.init --ssdb-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/ssdb/mer_ssdb.init -- -o throw throw_init.o \ throw.o \ /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/trace/libmer_trace.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/trace/libmer_eventspec.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/ssdb/libmer_ssdb.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/browser/libmer_browser.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/mdbcomp/libmer_mdbcomp.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/library/libmer_std.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/runtime/libmer_rt.a /mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/boehm_gc/libgc.a MERCURY_OPTIONS="$MERCURY_OPTIONS -de" HOME=/nonexistent MERCURY_SUPPRESS_MDB_BANNER=yes MERCURY_DEBUGGER_INIT=/mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/stage2/scripts/test_mdbrc mdb ./throw < throw.inp 2>&1 | \ sed -e 's/exception.m:[0-9]*/exception.m:NNNN/g' \ > throw.out 2>&1 \ || { grep . throw.out /dev/null; exit 1; } Comparing throw.out with throw.exp*, results in throw.res ** throw.out did not match the expected output ** (closest match was throw.res1) --- throw.exp 2020-10-11 14:28:49.000000000 +1100 +++ throw.out 2020-12-16 04:40:46.254914449 +1100 @@ -31,7 +31,7 @@ exception(univ_cons("Too big")) E4: C3 CALL pred throw.q/1-0 (semidet) throw.m:54 mdb> finish - E5: C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:58 + E5: C3 EXCP pred throw.q/1-0 (semidet) c1;~;q!;c2;~;q!;c1; throw.m:58 mdb> dd -d 3 -n 7 Call q(_) Throws "Too big" @@ -45,7 +45,7 @@ q(_) "Too big" Is this a bug? yes - E5: C3 EXCP pred throw.q/1-0 (semidet) c2;~;q!;c2;~;q!;c2; throw.m:58 + E5: C3 EXCP pred throw.q/1-0 (semidet) c1;~;q!;c2;~;q!;c1; throw.m:58 mdb> continue mdb: warning: reached unknown label This may result in some exception events ../Mmake.common:135: recipe for target 'throw.res' failed make[3]: *** [throw.res] Error 1 make[3]: Target 'throw.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2020-12-15/tests/declarative_debugger'