Closed GroundPound closed 9 years ago
Originally the z3_wrap.py debugging output would go to standard out through print statements guarded by a constant conditional statement.
I've replaced the print statements with DEBUG logging statements.
Originally the z3_wrap.py debugging output would go to standard out through print statements guarded by a constant conditional statement.
I've replaced the print statements with DEBUG logging statements.