标签： haskell testing termination
Haskell中有一些库用于测试属性或单元测试等。但我还没有找到一个允许测试函数终止/未终止的库。
当然，由于Halting问题，您无法简单地测试表达式是否终止。但是我可以猜测函数评估需要多长时间的上限，如果函数没有在那段时间内结束，那么测试会失败，因为函数（可能）不会终止。
是否有允许像这样进行终止测试的库？