linux / mac上的z3超时

Question

嗨Leonardo：看起来z3（v3.2）接受命令行开关“-T：10”来指定Mac和Linux上的超时，但忽略它。 （没试过Windows。）如果Linux / mac版本支持超时，那真是太好了。

Answer 1

是的，-T开关仅在Z3 3.2中为Windows。这将在下一个版本中修复。