testing-utils Directory Reference

Directory dependency graph for testing-utils:

Files
file	call_graph_test_utils.cpp [code]
file	call_graph_test_utils.h [code]
file	expr_query.h [code]
	Helper class for querying expressions Throw CATCH exceptions when the query fails.
file	free_form_cmdline.cpp [code]
file	free_form_cmdline.h [code]
file	get_goto_model_from_c.cpp [code]
file	get_goto_model_from_c.h [code]
file	invariant.cpp [code]
file	invariant.h [code]
file	message.cpp [code]
	Global instance of null_message_handlert.
file	message.h [code]
file	require_expr.cpp [code]
	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.
file	require_expr.h [code]
	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.
file	require_symbol.cpp [code]
file	require_symbol.h [code]
	Helper functions for getting symbols from the symbol table during unit tests.
file	require_vectors_equal_unordered.h [code]
file	run_test_with_compilers.cpp [code]
file	run_test_with_compilers.h [code]
	Utility for running a test with different compilers.
file	smt2irep.cpp [code]
file	smt2irep.h [code]
file	use_catch.h [code]