testing-utils Directory Reference

Directory dependency graph for testing-utils:

Files
	call_graph_test_utils.cpp
	call_graph_test_utils.h
	expr_query.h
	Helper class for querying expressions Throw CATCH exceptions when the query fails.
	free_form_cmdline.cpp
	free_form_cmdline.h
	get_goto_model_from_c.cpp
	get_goto_model_from_c.h
	invariant.cpp
	invariant.h
	message.cpp
	Global instance of null_message_handlert.
	message.h
	require_expr.cpp
	Helper functions for requiring specific expressions If the expression is of the wrong type, throw a CATCH exception Also checks associated properties and returns a casted version of the expression.
	require_expr.h
	Helper functions for requiring specific expressions If the expression is of the wrong type, throw a CATCH exception Also checks associated properties and returns a casted version of the expression.
	require_symbol.cpp
	require_symbol.h
	Helper functions for getting symbols from the symbol table during unit tests.
	require_vectors_equal_unordered.h
	run_test_with_compilers.cpp
	run_test_with_compilers.h
	Utility for running a test with different compilers.
	smt2irep.cpp
	smt2irep.h
	use_catch.h