goto_harness_generator.h File Reference

#include <list>
#include <string>
#include <util/irep.h>

Include dependency graph for goto_harness_generator.h:

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

Go to the source code of this file.

Classes
class	goto_harness_generatort

Namespaces
	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. More...
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. More...
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) More...