Z3命令行超时
在命令行上使用带“-T”开关的Z3时,是否有方法将超时设置为小于1秒 我知道您可以使用API将超时设置为小于此值,但出于各种愚蠢的原因,我一直在循环中将包含SMT-LIBv2脚本的文本文件传递给Z3(请不要生气),认为它也可以工作。我刚刚注意到,这种方法似乎在超时时创建了1秒的下限。如果我使用Z3检查数千个短文件,这会大大降低速度 如果事情就是这样,我能理解,而且我承认,当Z3已经有了一个非常好的API时,我所做的是不明智的。有两种选择:Z3命令行超时,z3,Z3,在命令行上使用带“-T”开关的Z3时,是否有方法将超时设置为小于1秒 我知道您可以使用API将超时设置为小于此值,但出于各种愚蠢的原因,我一直在循环中将包含SMT-LIBv2脚本的文本文件传递给Z3(请不要生气),认为它也可以工作。我刚刚注意到,这种方法似乎在超时时创建了1秒的下限。如果我使用Z3检查数千个短文件,这会大大降低速度 如果事情就是这样,我能理解,而且我承认,当Z3已经有了一个非常好的API时,我所做的是不明智的。有两种选择: 您可以使用“软超时”。它们的可靠性不如timeout/T