ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
messaget Struct Reference

#include <message.h>

Classes

class  statet

Static Public Attributes

static class messaget::statet state = {VerbosityLevel::Status, {}, stderr}

Member Data Documentation

◆ state

class messaget::statet messaget::state = {VerbosityLevel::Status, {}, stderr}
static

The documentation for this struct was generated from the following file: