[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