使用Logtalk超时函数测试SWI Prolog文件

Question

这是与Using a Bash Script To Automate Testing of A Prolog File相关的后续文章

现在我已经有效地实现了测试，我希望将超时值添加到测试中，这样如果一个特定的情况花费的时间太长，程序就可以转移到下一个学生的作业中。

当我使用logtalk_tester -p swi -t 60时，命令成功地运行了测试，但是提到logtalk将跳过-t 60超时标志。我的问题是，对于MacOS Big ，是否有一个有效的日志会话超时机制？在运行上述命令时，测试评估以以下警告为前缀：

​

​

我检查了手册页面(https://logtalk.org/man/logtalk_tester.html)，但据我所知，Windows可以解决超时工作的问题，但我没有看到提到MacOS。

谢谢。

Answer 1

脚本手册页包括：

当脚本检测到超时或gtimeout命令(由greater包提供)时，如果超时值设置为大于零的值，它将使用它来运行每个测试集。在Windows操作系统上，本机超时命令不能用于此目的.

您可以使用coreutils或Homebrew轻松地在macOS上安装GNU MacPorts包。

有关使用单个测试特定超时(而不是问题中的测试集超时)，请参见：

https://logtalk.org/manuals/devtools/lgtunit.html#tests-with-timeout-limits

在Windows上，提供的Bash中提供了GNU coreutils包。