diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-26 09:15:30 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-26 09:15:30 -0600 |
| commit | d3eb6f04bcdb6c22a2f796a19ff96094d2cfbb88 (patch) | |
| tree | bd51ec106bd30add6a8a9e5f3300a6ae022f0e97 /examples/nra-translate/normalize.cpp | |
| parent | 70f0cddbce01fa17622b7b70b638794181aefec5 (diff) | |
Removing infrastructure related to SMT model (#5527)
Now, SMT models do not store an internal list of commands, and are not dependent on a reference to SmtEngine.
The next cleanup step will be to merge OutputManager, DumpManager, and SmtEngineNodeListener.
Diffstat (limited to 'examples/nra-translate/normalize.cpp')
0 files changed, 0 insertions, 0 deletions