diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-11 13:08:00 -0500 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-11 11:08:00 -0700 |
commit | 64c48c4d3b4c26b0ba28ab1ab11ef2314ca0cbee (patch) | |
tree | ece6319150e855d2b0850f7508d9e3ee080b7f03 /src/printer | |
parent | 2fb903ed7309fd97c848b03f6587c9d0604efd24 (diff) |
Support model cores via option --produce-model-cores. (#2407)
This adds support for model cores, fixes #1233.
It includes some minor cleanup and additions to utility functions.
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/printer.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 439649725..e834238a5 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -88,7 +88,8 @@ void Printer::toStream(std::ostream& out, const Model& m) const for(size_t i = 0; i < m.getNumCommands(); ++i) { const Command* cmd = m.getCommand(i); const DeclareFunctionCommand* dfc = dynamic_cast<const DeclareFunctionCommand*>(cmd); - if (dfc != NULL && m.isDontCare(dfc->getFunction())) { + if (dfc != NULL && !m.isModelCoreSymbol(dfc->getFunction())) + { continue; } toStream(out, m, cmd); |