标签： pex
是否可以通过命令行在Pex中设置时间限制？如果是，怎么样？
我一直在搜索它，我发现paper说： “Pex使用了几种考虑到程序结构的启发式方法 以及在决定下一个计划输入时已经涵盖的陈述。 虽然Pex的最终目标是发现所有可达到的语句，这是一个不可判定的问题，但在实践中Pex试图获得高度陈述 覆盖快速。这极大地简化了Pex的配置：用户只需设置时间限制或另一个粗略探索界限“
看起来有一种设置时间限制的方法，但它没有说明如何。
提前致谢！