2 #ifndef ROSE_BinaryAnalysis_SmtCommandLine_H
3 #define ROSE_BinaryAnalysis_SmtCommandLine_H
4 #include <featureTests.h>
5 #ifdef ROSE_ENABLE_BINARY_ANALYSIS
11 namespace BinaryAnalysis {
35 void checkSmtCommandLineArg(
const std::string &arg,
const std::string &listSwitch, std::ostream &errorStream = std::cerr);
Validates SMT solver name from command-line.
bool listSmtSolverNames(std::ostream &)
List known SMT solvers and their availability.
The result from parsing a command line.
Main namespace for the ROSE library.
void checkSmtCommandLineArg(const std::string &arg, const std::string &listSwitch, std::ostream &errorStream=std::cerr)
Process SMT solver name from command-line.
Reference-counting intrusive smart pointer.
std::string bestSmtSolverName()
SMT solver corresponding to "best".
std::string smtSolverDocumentationString(const std::string &dfltSolver)
Documentation string for an SMT solver switch.
std::string validateSmtSolverName(const std::string &name)
Validate SMT solver name.
Base class for switch actions.