projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 571712d) | patch
Remove unnecessary tracing from preprocessing (#2472)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 17 Sep 2018 17:16:59 +0000 (10:16 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 17 Sep 2018 17:16:59 +0000 (10:16 -0700)
commit489be69e60b9b0cb154e257e1d3c5304a24e30cf
tree96190cdc8a356a220a7f9bbdb25986fdca0b573ftree
parent571712dbd11b42ef4586c6adff397bae8ee35397commit | diff
Remove unnecessary tracing from preprocessing (#2472)

With the introduction of the PreprocessingPass class,
tracing/dumping/time keeping is done automatically in the base class,
eliminating the need for doing it manually. This commit cleans up
SmtEngine, removing tracing/dumping/time keeping in preprocessing that
is not needed anymore.
src/smt/smt_engine.cpp diff | blob | history