我不确定这是gitlab-ci问题还是Prolog问题,但这是我要尝试的事情:
我在.plt
文件中编写了一些Prolog测试,并希望gitlab-ci在推送代码时捕获所有失败的测试。然后,我发现测试始终通过,因为我忘记在gitlab-ci脚本中加载.plt
文件,导致Prolog返回退出状态为0的No tests to run
:
这促使我认为我应该写代码使系统返回false
而不是true
。这应该使我能够捕获与负载测试失败有关的错误。但是我不知道该怎么做。
所以我的问题是:
我应该在gitlab-ci还是Prolog方面处理这个问题,还是我完全走错了路?
要编写什么代码才能实现此目的?
非常感谢!