在测试运行中忽略无声标志

Question

我目前正在尝试使用PlUnit测试套件并在测试期间遇到问题以关闭谓词的输出。

documentation说我应该对set_test_options([silent(true)]).的内容很好，但这对我的测试运行似乎没有任何影响。

我也尝试将这些选项放入load_test_files/1来电，但它没有改变任何内容。

如果有人可以提供有关这个库的帮助，我将不胜感激地阅读，因为我似乎误解了文档，并且在尝试查看此处失败时无处可去。