scala - 软超时使用Scala^Z3中断 Scala 程序的主要实例

  显示原文与译文双语对照的内容

我使用英镑Scala^Z3英镑,在英镑英镑内使用英镑。 现在我做了一些实验,它涉及解决变得非常复杂的问题,以取消当前计算。

我尝试了一个软超时,从文档听起来像是我的完美选择。 我像这样用的:


config.setParamValue("SOFT_TIMEOUT","5200")

但是,它不只是取消计算,而是将整个 Scala 程序与错误消息 "Error: invalid usage" 一起崩溃。

为了防止主程序死,我尝试使用像期货一样的并发,但是在我重启程序之前,我不能再使用,因为我会立即得到错误消息 "Error: invalid usage"

我是否对软超时有什么误解?

提前致谢!

你的,Stefan Tiran

时间: 原作者:

选项的名称已经在 4.3.2版本中重构,所以现在这个选项被称为"smt 。soft_timeout",请参见 answer答案关于如何找出当前选项名称/描述的更多细节。

...