projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48ea68a) | patch
Fix dumping pre/post preprocessing passes (#2469)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 1 Oct 2018 18:07:13 +0000 (11:07 -0700)
committerGitHub <noreply@github.com>
Mon, 1 Oct 2018 18:07:13 +0000 (11:07 -0700)
commitda3b2212ed6befc0d29646ef65570919377913fe
treeade1547a960df8e38cedbd54d942e038580f71c4tree
parent48ea68aa581d492c48fe9e08b54e9ce26f3508b9commit | diff
 Fix dumping pre/post preprocessing passes (#2469)

This commit changes the hard-coded list of checks for
preprocessing-related dump tags to take advantage of the new
preprocessing pass registration mechanism from PR #2468. It also fixes a
typo in the `Dump.isOn()` check in `PreprocessingPass::dumpAssertions()`
and adds a list of available passes to the `--dump help` output.
src/preprocessing/preprocessing_pass.cpp diff | blob | history
src/smt/dump.cpp diff | blob | history
src/smt/smt_engine.cpp diff | blob | history