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

#include <cmdline.h>

Public Attributes

const char * optstring
const boost::program_options::value_semantic * type_default_value
const char * description

Member Data Documentation

◆ description

const char* opt_templ::description

◆ optstring

const char* opt_templ::optstring

◆ type_default_value

const boost::program_options::value_semantic* opt_templ::type_default_value

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