Turning Off Z3py Print Truncation

问题

I need to print an entire Z3 problem to debug it, but when I print it the output is truncated.

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

How do I display everything?

回答1:

Try:

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

You might want to play with actual values to come up with something that suits your needs.

来源：https://stackoverflow.com/questions/62008181/turning-off-z3py-print-truncation