cmdline.cpp File Reference

#include <boost/program_options/parsers.hpp>
#include <cassert>
#include <cstdlib>
#include <filesystem>
#include <fstream>
#include <optional>
#include <set>
#include <sstream>
#include <stdexcept>
#include <string>
#include <util/config/cmdline.h>
#include <util/message/message.h>
#include <util/config/config_file.h>
#include <sys/ioctl.h>
#include <unistd.h>

Include dependency graph for cmdline.cpp:

Macros
#define	HOME_ENV_NAME   "HOME"
#define	DEFAULT_CONFIG_PATH   "~/.config/esbmc.toml"

Functions
static unsigned	get_terminal_width ()
static std::vector< std::string >	simple_shell_unescape (const char *s, const char *var)
static void	warn_option_like_values (const boost::program_options::parsed_options &parsed, const boost::program_options::options_description &desc)
	Warn when a value-taking option consumed a token that names another option: --witness-output --show-loops silently makes "--show-loops" the witness path, and the swallowed option never runs (#7525).

Macro Definition Documentation

DEFAULT_CONFIG_PATH

#define DEFAULT_CONFIG_PATH   "~/.config/esbmc.toml"

HOME_ENV_NAME

#define HOME_ENV_NAME   "HOME"

Function Documentation

get_terminal_width()

unsigned get_terminal_width ( )

static

simple_shell_unescape()

std::vector< std::string > simple_shell_unescape ( const char * s, const char * var )

static

warn_option_like_values()

void warn_option_like_values ( const boost::program_options::parsed_options & parsed, const boost::program_options::options_description & desc )

static

Warn when a value-taking option consumed a token that names another option: --witness-output --show-loops silently makes "--show-loops" the witness path, and the swallowed option never runs (#7525).