Move non-stream options out of `printer_options.toml` (#8909)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 23 Jun 2022 19:25:29 +0000 (12:25 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Jun 2022 19:25:29 +0000 (14:25 -0500)
commit288ad5358ef79097f35a656def614c664006d6b9
treeb5f9261a74af362832d8e343d388554d98322949
parentc898b0ec2144cae0515625f95cc6e05abe2fa186
Move non-stream options out of `printer_options.toml` (#8909)

After #8827, we automatically generate code for the options listed in printer_options.toml, which allows those options to be set on input/output streams. Some of the options that are currently in printer_options.toml are not a good fit for that and this commit moves them out of the file. This is in preparation of making that stream options public (or at public in the parser), because some commands require setting stream options.
14 files changed:
src/options/main_options.toml
src/options/printer_options.toml
src/options/proof_options.toml
src/options/quantifiers_options.toml
src/options/smt_options.toml
src/printer/ast/ast_printer.cpp
src/printer/smt2/smt2_printer.cpp
src/proof/dot/dot_printer.cpp
src/proof/dot/dot_printer.h
src/smt/command.cpp
src/smt/command.h
src/smt/proof_manager.cpp
src/smt/solver_engine.cpp
src/theory/quantifiers/instantiate.cpp