diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-01 11:07:13 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-01 11:07:13 -0700 |
| commit | da3b2212ed6befc0d29646ef65570919377913fe (patch) | |
| tree | ade1547a960df8e38cedbd54d942e038580f71c4 /src/preprocessing/preprocessing_pass.cpp | |
| parent | 48ea68aa581d492c48fe9e08b54e9ce26f3508b9 (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.
Diffstat (limited to 'src/preprocessing/preprocessing_pass.cpp')
| -rw-r--r-- | src/preprocessing/preprocessing_pass.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/preprocessing/preprocessing_pass.cpp b/src/preprocessing/preprocessing_pass.cpp index 6a1d89d33..120c68a91 100644 --- a/src/preprocessing/preprocessing_pass.cpp +++ b/src/preprocessing/preprocessing_pass.cpp @@ -36,7 +36,8 @@ PreprocessingPassResult PreprocessingPass::apply( void PreprocessingPass::dumpAssertions(const char* key, const AssertionPipeline& assertionList) { - if (Dump.isOn("assertions") && Dump.isOn(std::string("assertions::") + key)) { + if (Dump.isOn("assertions") && Dump.isOn(std::string("assertions:") + key)) + { // Push the simplified assertions to the dump output stream for (const auto& n : assertionList) { Dump("assertions") << AssertCommand(Expr(n.toExpr())); |