Do pretty printing for debug logging only when verbosity is high in incremental SMT2 decision procedure#6704

Merged

thomasspriggs merged 1 commit intodiffblue:developfrom

thomasspriggs:tas/smt2_logging_performance

Mar 2, 2022

Commits on Mar 2, 2022

Do pretty printing for debug logging only when vebosity is high
thomasspriggs
committed