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

#include <cmdline.h>

Public Attributes

std::string groupname
std::vector< opt_templ > options

Member Data Documentation

◆ groupname

std::string group_opt_templ::groupname

◆ options

std::vector<opt_templ> group_opt_templ::options

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