linux/mac上的z3超时

Question

嗨，莱昂纳多:看起来z3 (3.2版)接受命令行开关"-T:10“来指定Mac和Linux上的超时，但忽略了它。(我还没有在windows上试用过。)如果linux/mac版本也支持超时，那就太好了。

Answer 1

是的，在Z3 3.2中，-T开关只适用于Windows。此问题将在下一个版本中修复。