|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <message.h>
Public Member Functions | |
| FILE * | target (const char *mod, VerbosityLevel lvl) const |
| void | set_flushln () const |
| template<typename... Args> | |
| bool | logln (const char *mod, VerbosityLevel lvl, const char *file, int line, fmt::format_string< Args... > format, Args &&...args) const |
Public Attributes | |
| VerbosityLevel | verbosity |
| std::unordered_map< std::string, VerbosityLevel > | modules |
| FILE * | out |
|
inline |
| void messaget::statet::set_flushln | ( | ) | const |
| FILE * messaget::statet::target | ( | const char * | mod, |
| VerbosityLevel | lvl ) const |
| std::unordered_map<std::string, VerbosityLevel> messaget::statet::modules |
| FILE* messaget::statet::out |
| VerbosityLevel messaget::statet::verbosity |