MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/tests/debugger' /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/mmc --generate-dependencies --grade asm_fast.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace deep print_table > print_table.dep_err 2>&1 make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/tests/debugger' make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/tests/debugger' /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/mmc --make-interface --grade asm_fast.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace deep print_table /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/mmc --compile-to-c --grade asm_fast.par.gc --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --trace deep print_table > print_table.err 2>&1 /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/mgnuc --grade asm_fast.par.gc -- -c print_table.c -o print_table.o /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/mgnuc --grade asm_fast.par.gc -- -c print_table_init.c -o print_table_init.o /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/ml --grade asm_fast.par.gc --no-mercury-stdlib-dir --trace --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/browser/mer_browser.init --trace-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/mdbcomp/mer_mdbcomp.init --ssdb-init-file /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/ssdb/mer_ssdb.init -- -o print_table print_table_init.o \ print_table.o \ /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/trace/libmer_trace.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/trace/libmer_eventspec.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/ssdb/libmer_ssdb.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/browser/libmer_browser.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/mdbcomp/libmer_mdbcomp.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/library/libmer_std.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/runtime/libmer_rt.a /mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/boehm_gc/libpar_gc.a MERCURY_OPTIONS="$MERCURY_OPTIONS -de" HOME=/nonexistent MERCURY_SUPPRESS_MDB_BANNER=yes MERCURY_DEBUGGER_INIT=/mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/stage2/scripts/test_mdbrc mdb ./print_table < print_table.inp > print_table.out 2>&1 Comparing print_table.out with print_table.exp*, results in print_table.res ** print_table.out did not match the expected output ** (closest match was print_table.res1) --- print_table.exp 2020-10-11 14:28:48.000000000 +1100 +++ print_table.out 2022-02-06 21:32:39.200381478 +1100 @@ -13,145 +13,55 @@ mdb> f -n E3: C2 EXIT pred print_table.p/3-0 (det) mdb> table p -memo table for pred print_table.p/3-0 (det): -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (6 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 -memo table for pred print_table.p/3-0 (det): -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (6 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 2 -<5, 2>: succeeded <15> +pred print_table.p/3-0 (det) isn't tabled. mdb> c E4: C3 CALL pred print_table.p/3-0 (det) mdb> f -n E5: C3 EXIT pred print_table.p/3-0 (det) mdb> table p -memo table for pred print_table.p/3-0 (det): -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (10 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 -memo table for pred print_table.p/3-0 (det): -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (6 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 2 -<5, 2>: succeeded <15> +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 4 -memo table for pred print_table.p/3-0 (det): -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -end of table (4 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 4 2 -<4, 2>: succeeded <12> +pred print_table.p/3-0 (det) isn't tabled. mdb> c E6: C4 CALL pred print_table.p/3-0 (det) mdb> f -n E7: C4 EXIT pred print_table.p/3-0 (det) mdb> table p -memo table for pred print_table.p/3-0 (det): -<2, 0>: succeeded <0> -<2, 1>: succeeded <2> -<2, 2>: succeeded <6> -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (13 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 -memo table for pred print_table.p/3-0 (det): -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (6 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 2 -<5, 2>: succeeded <15> +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 4 -memo table for pred print_table.p/3-0 (det): -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -end of table (4 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 2 1 -<2, 1>: succeeded <2> +pred print_table.p/3-0 (det) isn't tabled. mdb> c E8: C5 CALL pred print_table.p/3-0 (det) mdb> f -n E9: C5 EXIT pred print_table.p/3-0 (det) mdb> table p -memo table for pred print_table.p/3-0 (det): -<1, 0>: succeeded <0> -<2, 0>: succeeded <0> -<2, 1>: succeeded <2> -<2, 2>: succeeded <6> -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (14 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 -memo table for pred print_table.p/3-0 (det): -<5, 0>: succeeded <0> -<5, 1>: succeeded <5> -<5, 2>: succeeded <15> -<5, 3>: succeeded <30> -<5, 4>: succeeded <50> -<5, 5>: succeeded <75> -end of table (6 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 5 2 -<5, 2>: succeeded <15> +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 4 -memo table for pred print_table.p/3-0 (det): -<4, 0>: succeeded <0> -<4, 1>: succeeded <4> -<4, 2>: succeeded <12> -<4, 3>: succeeded <24> -end of table (4 entries) +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 2 1 -<2, 1>: succeeded <2> +pred print_table.p/3-0 (det) isn't tabled. mdb> table p 1 0 -<1, 0>: succeeded <0> +pred print_table.p/3-0 (det) isn't tabled. mdb> delete 1 mdb: break point #1 does not exist. mdb> b q @@ -161,49 +71,31 @@ mdb> f -n E11: C6 EXIT pred print_table.q/3-0 (semidet) mdb> table q -memo table for pred print_table.q/3-0 (semidet): -<3, 0>: succeeded <0> -<3, 1>: succeeded <3> -<3, 2>: succeeded <9> -end of table (3 entries) +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 3 -memo table for pred print_table.q/3-0 (semidet): -<3, 0>: succeeded <0> -<3, 1>: succeeded <3> -<3, 2>: succeeded <9> -end of table (3 entries) +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 3 2 -<3, 2>: succeeded <9> +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 4 -call table does not contain 4 in argument position 1. +pred print_table.q/3-0 (semidet) isn't tabled. mdb> c E12: C7 CALL pred print_table.q/3-0 (semidet) mdb> f -n E13: C7 FAIL pred print_table.q/3-0 (semidet) mdb> table q -memo table for pred print_table.q/3-0 (semidet): -<3, 0>: succeeded <0> -<3, 1>: succeeded <3> -<3, 2>: succeeded <9> -<4, 1>: failed -<4, 2>: failed -end of table (5 entries) +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 3 -memo table for pred print_table.q/3-0 (semidet): -<3, 0>: succeeded <0> -<3, 1>: succeeded <3> -<3, 2>: succeeded <9> -end of table (3 entries) +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 3 2 -<3, 2>: succeeded <9> +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 3 0 -<3, 0>: succeeded <0> +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 4 2 -<4, 2>: failed +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 4 1 -<4, 1>: failed +pred print_table.q/3-0 (semidet) isn't tabled. mdb> table q 4 0 -call table does not contain 0 in argument position 2. +pred print_table.q/3-0 (semidet) isn't tabled. mdb> delete 1 1: E stop interface pred print_table.q/3-0 (semidet) mdb> b r @@ -211,40 +103,25 @@ mdb> c E14: C8 CALL pred print_table.r/2-0 (det) mdb> table r -memo table for pred print_table.r/2-0 (det): -end of table (0 entries) +pred print_table.r/2-0 (det) isn't tabled. mdb> s E15: C8 COND pred print_table.r/2-0 (det) mdb> table r -memo table for pred print_table.r/2-0 (det): -<3>: working -end of table (1 entry) +pred print_table.r/2-0 (det) isn't tabled. mdb> table r 3 -<3>: working +pred print_table.r/2-0 (det) isn't tabled. mdb> c E16: C9 CALL pred print_table.r/2-0 (det) mdb> table r -memo table for pred print_table.r/2-0 (det): -<3>: working -end of table (1 entry) +pred print_table.r/2-0 (det) isn't tabled. mdb> f -n E17: C9 EXIT pred print_table.r/2-0 (det) mdb> table r -memo table for pred print_table.r/2-0 (det): -<0>: succeeded <0> -<1>: succeeded <1> -<2>: succeeded <3> -<3>: working -end of table (4 entries) +pred print_table.r/2-0 (det) isn't tabled. mdb> f -n 1 E18: C8 EXIT pred print_table.r/2-0 (det) mdb> table r -memo table for pred print_table.r/2-0 (det): -<0>: succeeded <0> -<1>: succeeded <1> -<2>: succeeded <3> -<3>: succeeded <6> -end of table (4 entries) +pred print_table.r/2-0 (det) isn't tabled. mdb> delete 1 1: E stop interface pred print_table.r/2-0 (det) mdb> b s @@ -252,38 +129,25 @@ mdb> c E19: C10 CALL pred print_table.s/6-0 (det) mdb> table s -memo table for pred print_table.s/6-0 (det): -end of table (0 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> f -n E20: C10 EXIT pred print_table.s/6-0 (det) mdb> table s -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> c E21: C11 CALL pred print_table.s/6-0 (det) mdb> f -n E22: C11 EXIT pred print_table.s/6-0 (det) mdb> table s -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -end of table (2 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -end of table (2 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.51 -call table does not contain 3.510000 in argument position 1. +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 1 -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 1 abc -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> c E23: C12 CALL pred print_table.s/6-0 (det) mdb> f -n @@ -297,55 +161,29 @@ mdb> f -n E28: C14 EXIT pred print_table.s/6-0 (det) mdb> table s -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -<3.500000, 2, "xyz", 3>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2]", 6.500000> -<3.500000, 2, "xyz", 4>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2][3.5xyz2]", 7.500000> -<9.200000, 2, "def", 5>: succeeded <"[9.2def2][9.2def2][9.2def2][9.2def2][9.2def2]", 14.200000> -end of table (5 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -<3.500000, 2, "xyz", 3>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2]", 6.500000> -<3.500000, 2, "xyz", 4>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2][3.5xyz2]", 7.500000> -end of table (4 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.51 -call table does not contain 3.510000 in argument position 1. +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 1 -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 1 abc -memo table for pred print_table.s/6-0 (det): -<3.500000, 1, "abc", 1>: succeeded <"[3.5abc1]", 4.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 2 -memo table for pred print_table.s/6-0 (det): -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -<3.500000, 2, "xyz", 3>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2]", 6.500000> -<3.500000, 2, "xyz", 4>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2][3.5xyz2]", 7.500000> -end of table (3 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 2 abc -memo table for pred print_table.s/6-0 (det): -<3.500000, 2, "abc", 2>: succeeded <"[3.5abc2][3.5abc2]", 5.500000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 3.5 2 xyz -memo table for pred print_table.s/6-0 (det): -<3.500000, 2, "xyz", 3>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2]", 6.500000> -<3.500000, 2, "xyz", 4>: succeeded <"[3.5xyz2][3.5xyz2][3.5xyz2][3.5xyz2]", 7.500000> -end of table (2 entries) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 9.1 2 abc -call table does not contain 9.100000 in argument position 1. +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 9.2 2 abc -call table does not contain abc in argument position 3. +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 9.2 2 def -memo table for pred print_table.s/6-0 (det): -<9.200000, 2, "def", 5>: succeeded <"[9.2def2][9.2def2][9.2def2][9.2def2][9.2def2]", 14.200000> -end of table (1 entry) +pred print_table.s/6-0 (det) isn't tabled. mdb> table s 9.2 2 xyz -call table does not contain xyz in argument position 3. +pred print_table.s/6-0 (det) isn't tabled. mdb> delete 1 1: E stop interface pred print_table.s/6-0 (det) mdb> b t @@ -353,21 +191,15 @@ mdb> c E29: C15 CALL pred print_table.t/3-0 (nondet) mdb> table t -memo table for pred print_table.t/3-0 (nondet): -end of table (0 entries) +pred print_table.t/3-0 (nondet) isn't tabled. mdb> s E30: C15 DISJ pred print_table.t/3-0 (nondet) mdb> table t -memo table for pred print_table.t/3-0 (nondet): -<1, 2>: active -end of table (1 entry) +pred print_table.t/3-0 (nondet) isn't tabled. mdb> finish E31: C15 EXIT pred print_table.t/3-0 (nondet) mdb> table t -memo table for pred print_table.t/3-0 (nondet): -<1, 2>: incomplete -answer #1: <120> -end of table (1 entry) +pred print_table.t/3-0 (nondet) isn't tabled. mdb> delete 1 1: E stop interface pred print_table.t/3-0 (nondet) mdb> b tdone @@ -375,12 +207,7 @@ mdb> c E32: C16 CALL pred print_table.tdone/0-0 (det) mdb> table t -memo table for pred print_table.t/3-0 (nondet): -<1, 2>: complete -answer #1: <120> -answer #2: <210> -<2, 2>: complete -end of table (2 entries) +pred print_table.t/3-0 (nondet) isn't tabled. mdb> delete 1 1: E stop interface pred print_table.tdone/0-0 (det) mdb> b udone @@ -388,12 +215,7 @@ mdb> c E33: C17 CALL pred print_table.udone/0-0 (det) mdb> table u -memo table for pred print_table.u/4-0 (nondet): -<1, 2>: complete -answer #1: <120> -answer #2: <210> -<2, 2>: complete -end of table (2 entries) +pred print_table.u/4-0 (nondet) isn't tabled. mdb> c -S -n 75 24 make[3]: *** [../Mmake.common:138: print_table.res] Error 1 make[3]: Target 'print_table.runtest' not remade because of errors. make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2022-02-05/tests/debugger' ERROR OUTPUT print_table.m:092: Ignoring the `:- pragma memo' declaration for predicate print_table.m:092: `print_table.p'/3 mode 0, because tabling is not print_table.m:092: compatible with parallel execution. print_table.m:103: Ignoring the `:- pragma memo' declaration for predicate print_table.m:103: `print_table.q'/3 mode 0, because tabling is not print_table.m:103: compatible with parallel execution. print_table.m:116: Ignoring the `:- pragma memo' declaration for predicate print_table.m:116: `print_table.r'/2 mode 0, because tabling is not print_table.m:116: compatible with parallel execution. print_table.m:127: Ignoring the `:- pragma memo' declaration for predicate print_table.m:127: `print_table.s'/6 mode 0, because tabling is not print_table.m:127: compatible with parallel execution. print_table.m:138: Ignoring the `:- pragma memo' declaration for predicate print_table.m:138: `print_table.t'/3 mode 0, because tabling is not print_table.m:138: compatible with parallel execution. print_table.m:156: Ignoring the `:- pragma memo' declaration for predicate print_table.m:156: `print_table.u'/4 mode 0, because tabling is not print_table.m:156: compatible with parallel execution. END OF THE ERROR OUTPUT