如何在SWI-Prolog中为“没有测试要运行”返回false

时间:2019-04-29 19:17:19

标签: gitlab-ci swi-prolog

我不确定这是gitlab-ci问题还是Prolog问题,但这是我要尝试的事情:

我在.plt文件中编写了一些Prolog测试,并希望gitlab-ci在推送代码时捕获所有失败的测试。然后,我发现测试始终通过,因为我忘记在gitlab-ci脚本中加载.plt文件,导致Prolog返回退出状态为0的No tests to run

这促使我认为我应该写代码使系统返回false而不是true。这应该使我能够捕获与负载测试失败有关的错误。但是我不知道该怎么做。

所以我的问题是:

  1. 我应该在gitlab-ci还是Prolog方面处理这个问题,还是我完全走错了路?

  2. 要编写什么代码才能实现此目的?

非常感谢!

0 个答案:

没有答案