linux/mac 上的 z3 超时 [英] z3 timeout on linux/mac
本文介绍了linux/mac 上的 z3 超时的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
嗨 Leonardo:看起来 z3 (v3.2) 接受命令行开关-T:10"来指定 Mac 和 Linux 上的超时,但忽略了它.(尚未在 Windows 上尝试过.)如果 linux/mac 版本也支持超时,那就太好了.
Hi Leonardo: Looks like z3 (v3.2) accepts the command line switch "-T:10" for specifying time-outs on Mac and Linux, but ignores it. (Haven't tried on windows.) It'd be really nice if timeouts were supported on linux/mac releases as well.
推荐答案
是的,-T
开关仅适用于 Z3 3.2 中的 Windows.这将在下一个版本中修复.
Yes, the -T
switch is Windows only in Z3 3.2. This will be fixed in the next release.
这篇关于linux/mac 上的 z3 超时的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文