如何使用PlUnit改进错误报告？

Question

我正在使用SWI的PlUnit编写测试，并希望提供一个更好的错误消息，也许可以通过将我所得到的与我所期望的有所不同。

下面的最小工作示例(MWE)说明了我所追求的目标：

:- module(mwe, [parse_int/2]).

parse_int(Str, Num) :- number_string(Num, Str):

:- begin_tests(mwe).
:- use_module(mwe).

testcase("1", 1).
testcase("10", 10).
testcase("100000000000", 10000000000). % Oops
test("parse int", [forall(testcase(Text, Want))]) :-
  parse_int(Text, Got),
  assertion(Got = Want).

:- end_tests(mwe).

产出如下：

% PL-Unit: mwe ..
ERROR: /home/bkim/Projects/swifun/mwe.pl:11:
    test parse int (forall bindings = ["100000000000",10000000000]): assertion failed
    Assertion: 100000000000=10000000000
false.

类似于go-cmp的一个不同的结果如下所示：

- 100000000000
+ 10000000000

这比较容易一目了然。

我找不到对一般Prolog术语执行这种检查的任何东西，更接近于编辑列表之间的距离的例子。

Answer 1

您应该将比较移到测试规则的头上：

test("parse int", [forall(testcase(Text, Want)), Got = Want]) :-
    parse_int(Text, Got).

这样，你就能更清楚地知道你想要测试表达什么。它还允许PlUnit提供更多的信息输出：

ERROR: /home/isabelle/foo.pl:11:
    test parse int (forall bindings = ["100000000000",10000000000]): wrong answer (compared using =)
ERROR:     Expected: 10000000000
ERROR:     Got:      100000000000