关闭 Z3py 打印截断

Question

我需要打印整个 Z3 问题来调试它，但是当我打印它时，输出被截断了。

from z3 import *
s = Solver()
... Add many assertions to s ...
print(s)

如何显示所有内容？

Answer 1

尝试：

set_option(max_args=10000000, max_lines=1000000, max_depth=10000000, max_visited=1000000)

您可能想尝试使用实际值来提出适合您需要的东西。