prolog - 如何在 prolog 中运行 plunit 测试

Question

plunit在看似最微不足道的情况下，我很难执行测试。这是我的设置：

foo.pl

x(5) :- !.
not(x(6)).

foo.plt

:- begin_tests(foo).
test_something(x) :- not(x(5)).

test_seomthing_else(x) :- x(6).
:- end_tests(foo).

这在 swipl 中按预期工作：

?- [foo].
% foo compiled 0.00 sec, 3 clauses
true.

?- x(5).
true.

?- x(6).
false.

但我似乎无法让 foo.plt 文件失败

?- load_test_files(foo).
% /tmp/example/foo.plt compiled into plunit 0.00 sec, 4 clauses
true.

?- run_tests.
% PL-Unit: foo  done
% No tests to run
true.

test_something_else测试用例显然应该失败，但 plunit似乎run_tests/0不知道有任何测试要运行。

Answer 1

从plunit手册：

入口点由使用头部 test(Name) 或 test(Name, Options) [...]

因此，您无需使用test_something(x)and test_something_else(x)，而只需使用test(x).

:- begin_tests(foo).
test(x) :- not(x(5)).

test(x) :- x(6).
:- end_tests(foo).

运行它会给出预期的输出：

?- run_tests.
% PL-Unit: foo 
ERROR: [...]
    test x: failed

ERROR: [...]
    test x: failed

 done
% 2 tests failed
% 0 tests passed
false.