projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ced6ee6) | patch
Make tracing for arithmetic rewriter more consistent and useful (#7960)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 19 Jan 2022 18:02:48 +0000 (10:02 -0800)
committerGitHub <noreply@github.com>
Wed, 19 Jan 2022 18:02:48 +0000 (18:02 +0000)
commitc92b9fbd07d1db4641c3c49fc5dd8e98be25f3e6
treedc3e3d74ea4361f284c3c76d7bbc6daa8f5491c7tree
parentced6ee690d24d2efb48bd7b52807f8388fe3bd8acommit | diff
Make tracing for arithmetic rewriter more consistent and useful (#7960)

Tracing in the arithmetic rewriter was very inconsistent and oftentimes not particularly helpful. This adds a general trace showing all top-level calls to the arithmetic rewriter.
src/theory/arith/arith_rewriter.cpp diff | blob | history