ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
config_file.h
Go to the documentation of this file.
1#pragma once
2
3#include <boost/program_options/parsers.hpp>
4#include <boost/program_options/detail/config_file.hpp>
5
6/* Contains code for parsing and loading files. */
7
8boost::program_options::basic_parsed_options<char> parse_toml_file(
9 std::basic_istream<char> &is,
10 const boost::program_options::options_description &desc);
boost::program_options::basic_parsed_options< char > parse_toml_file(std::basic_istream< char > &is, const boost::program_options::options_description &desc)
Definition config_file.cpp:44