esbmc_parseoptions.h File Reference

#include <esbmc/bmc.h>
#include <goto-programs/goto_convert_functions.h>
#include <langapi/language_ui.h>
#include <util/config/cmdline.h>
#include <util/config/options.h>
#include <util/config/parseoptions.h>
#include <goto-programs/goto_functions_algorithm.h>
#include <util/base/threeval.h>
#include <string_view>
#include <unistd.h>

Include dependency graph for esbmc_parseoptions.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	esbmc_parseoptionst

Macros
#define	ENABLE_COLOR(val)

Variables
const struct group_opt_templ	all_cmd_options []

Macro Definition Documentation

ENABLE_COLOR

#define ENABLE_COLOR

(

val

)

Value:

    ((val) == "always" || ((val) == "auto" && isatty(fileno(stderr))))

Variable Documentation

all_cmd_options

const struct group_opt_templ all_cmd_options[]

extern