[m-dev.] Failure of tests/debugger/uci in rotd-2018-10-23in rotd-2018-10-23

Julien Fischer jfischer at opturion.com
Wed Oct 24 10:32:49 AEDT 2018


Hi all,

tests/debugger/uci started failing in the last rotd due to the
output of break -A being reversed (see below).

Julien.

------------------------------

--- uci.exp	2018-06-16 05:27:35.000000000 +0000
+++ uci.out	2018-10-23 23:26:52.000000000 +0000
@@ -1,23 +1,24 @@
        E1:     C1 CALL pred uci.main/2-0 (det) uci.m:22
  mdb> echo on
  Command echo enabled.
  mdb> context none
  Contexts will not be printed.
  mdb> register --quiet
  mdb> break -A unif*uci.
- 0: + stop  interface __Unify__ for uci.i/3-0 (semidet)
- 1: + stop  interface __Unify__ for uci.t0/0-0 (semidet)
- 2: + stop  interface __Unify__ for uci.t1/1-0 (semidet)
- 3: + stop  interface __Unify__ for uci.t2/2-0 (semidet)
- 4: + stop  interface __Unify__ for uci.t3/3-0 (semidet)
- 5: + stop  interface __Unify__ for uci.t4/4-0 (semidet)
+ 0: + stop  interface __Unify__ for uci.t4/4-0 (semidet)
+ 1: + stop  interface __Unify__ for uci.t3/3-0 (semidet)
+ 2: + stop  interface __Unify__ for uci.t2/2-0 (semidet)
+ 3: + stop  interface __Unify__ for uci.t1/1-0 (semidet)
+ 4: + stop  interface __Unify__ for uci.t0/0-0 (semidet)
+ 5: + stop  interface __Unify__ for uci.i/3-0 (semidet)
  mdb> break -A comp*uci.
- 6: + stop  interface __Compare__ for uci.i/3-0 (det)
- 7: + stop  interface __Compare__ for uci.t0/0-0 (det)
- 8: + stop  interface __Compare__ for uci.t1/1-0 (det)
- 9: + stop  interface __Compare__ for uci.t2/2-0 (det)
-10: + stop  interface __Compare__ for uci.t3/3-0 (det)
-11: + stop  interface __Compare__ for uci.t4/4-0 (det)
+ 6: + stop  interface __Compare__ for uci.t4/4-0 (det)
+ 7: + stop  interface __Compare__ for uci.t3/3-0 (det)
+ 8: + stop  interface __Compare__ for uci.t2/2-0 (det)
+ 9: + stop  interface __Compare__ for uci.t1/1-0 (det)
+10: + stop  interface __Compare__ for uci.t0/0-0 (det)
+11: + stop  interface __Compare__ for uci.i/3-0 (det)
  mdb> c
        E2:     C2 CALL __Compare__ for uci.t1/1-0 (det)
  mdb> print goal


More information about the developers mailing list