回答情况：
提问时间：
问题标签：
我使用plunit包进行我的prolog单元测试(SWI-Prolog7.2)。run_tests/0在控制台上打印结果，但我想以大多数CI服务器理解的xUnit XML格式导出plunit测试结果。有什么办法吗？
浏览 3修改于2016-02-20得票数 3
我很难让plunit在最琐碎的情况下执行测试。这是我的装置：x(5) :- !.- load_test_files(foo).true.
?显然，test_something_else测试用例应该失败了，但是plunit的run_tests/0似乎不知道有什么测试要运行。
浏览 4提问于2015-11-22得票数 3
回答已采纳
我正在使用SWI的编写测试，并希望提供一个更好的错误消息，也许可以通过将我所得到的与我所期望的有所不同。:- module(mwe, [parse_int/2]).
:- use_module(mwe).
testcase("10", 10).
testcase("100000000000", 10000000000
浏览 7修改于2022-01-04得票数 1
回答已采纳
ERROR: user://2:17:Warning: user://2:17:该实现似乎为测试plunit_X
浏览 4修改于2020-03-11得票数 1
回答已采纳
对于我的，所有的 字符(0x00到0x7F)都有一个特定的令牌。作为SWI ，字符代码从0x0000到0xFFFF。为了确保代码介于0到127 (0x00到0x7F)之间的所有字符都没有tokUnknown，需要测试用例。tokenizer_unknown(Token) --> white_space_char(W), !, white_space(W, S),
{ Token = t
浏览 1修改于2019-01-31得票数 2
回答已采纳
这些是在chess.pl中定义的:- dynamic start/1.
a_pickup(X) :- retract(drop(_-_-X)).
off(X) :- \+ drop(_-_-X).:-
浏览 9修改于2022-05-24得票数 2
或者可以在XSB中以某种方式使用SWI-Prolog的plunit库？
如果没有可用的XSB测试库(或其他与plunit不兼容的Prolog )，那么这个问题的变体可能是:如何测试Prolog代码？
浏览 21修改于2015-02-28得票数 8
回答已采纳
/Prolog/SWI-Prolog.app/Contents/MacOS/imperial_hw.pl:67: However, there are definitions/
浏览 13修改于2020-02-11得票数 1
在SWIPL中，我们可以简单地使用plunit模块并编写测试用例，如下所示： :- begin_tests(my_tests).
test(my_predicate_test) :- my_predicate
浏览 19提问于2021-01-22得票数 4
回答已采纳
我如何使用plunit (或其他什么？)要检查测试文件的所有元素是否都在输出文件中，是否返回true/false？
浏览 3修改于2018-12-10得票数 0
回答已采纳
Call: (18) plunit_same_colour:'unit body'('same_colour@line 13', vars) ?creep
Fail: (18) plunit_same_colour:'unit body'('same_colour@line 13', vars) ?
浏览 5修改于2015-02-28得票数 2
可能的答案：
正如@DanielLyons所指出的，行为良好的部件可能意味着“按预期工作”，而在plunit中，这意味着您必须传递诸如[nondet, fail]之类的标志，以指示测试的谓词应该如何运行
浏览 1修改于2018-03-28得票数 3
回答已采纳
.% PL-Unit: foo
Warning: /home/brandon/projects
浏览 7修改于2017-08-01得票数 8
回答已采纳
我正在尝试编译prolog-JPL，如下所述：********************************************home/user/pl-5.10.1/packages'
for p in clib cpp table sgml RDF semweb http chr clpqr nlp tipc pldoc plunit
浏览 0修改于2012-02-21得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号