goto_harness_generator.cpp File Reference

#include "goto_harness_generator.h"
#include <list>
#include <string>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/string2int.h>

Include dependency graph for goto_harness_generator.cpp:

Go to the source code of this file.

Namespaces
namespace	harness_options_parser

Functions
std::string	harness_options_parser::require_exactly_one_value (const std::string &option, const std::list< std::string > &values)
	Returns the only value of a single element list, throws an exception if not passed a single element list.
void	harness_options_parser::assert_no_values (const std::string &option, const std::list< std::string > &values)
	Asserts that the list of values to an option passed is empty.
std::size_t	harness_options_parser::require_one_size_value (const std::string &option, const std::list< std::string > &values)
	Returns the only Nat value of a single element list, throws an exception if not passed a single element list (or not Nat)