ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
config_file.cpp File Reference
#include "config_file.h"
#include <boost/program_options/option.hpp>
#include <cstdlib>
#include <string>
#include <set>
#include <fmt/core.h>
#include <util/message/message.h>
#include <util/base/compiler_defs.h>
#include "lib/toml.hpp"
Include dependency graph for config_file.cpp:

Functions

static const std::string toml_type_to_string (const toml::node &node)
boost::program_options::basic_parsed_options< char > parse_toml_file (std::basic_istream< char > &is, const boost::program_options::options_description &desc)

Function Documentation

◆ parse_toml_file()

boost::program_options::basic_parsed_options< char > parse_toml_file ( std::basic_istream< char > & is,
const boost::program_options::options_description & desc )

◆ toml_type_to_string()

const std::string toml_type_to_string ( const toml::node & node)
static