|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Public Member Functions | |
| python2goto_parseopt (int argc, const char **argv) | |
| int | doit () override |
| Public Member Functions inherited from parseoptions_baset | |
| parseoptions_baset (const struct group_opt_templ *opts, int argc, const char **argv) | |
| virtual void | help () |
| virtual const char * | fatal_signal_advice () const |
| One line naming what this driver offers for a fuller crash report, or null. | |
| virtual int | main () |
| virtual | ~parseoptions_baset ()=default |
| void | set_verbosity_msg (VerbosityLevel def=VerbosityLevel::Status) |
| Public Member Functions inherited from language_uit | |
| language_uit () | |
| virtual | ~language_uit () noexcept=default |
| virtual bool | parse (const cmdlinet &cmdline) |
| virtual bool | parse (const std::string &filename) |
| virtual bool | typecheck () |
| virtual bool | final () |
| virtual void | clear_parse () |
| virtual void | show_symbol_table () |
| virtual void | show_symbol_table_plain (std::ostream &out) |
| virtual void | show_symbol_table_xml_ui () |
Additional Inherited Members | |
| Public Types inherited from language_uit | |
| typedef std::map< language_idt, std::unique_ptr< languaget > > | langmapt |
| Public Attributes inherited from parseoptions_baset | |
| cmdlinet | cmdline |
| Public Attributes inherited from language_uit | |
| langmapt | langmap |
| contextt | context |
| namespacet | ns |
| Protected Member Functions inherited from language_uit | |
| language_uit (language_uit &&) noexcept | |
| language_uit & | operator= (language_uit &&) noexcept |
| Protected Attributes inherited from parseoptions_baset | |
| boost::filesystem::path | executable_path |
|
inline |
|
inlineoverridevirtual |
Implements parseoptions_baset.