cprover
Loading...
Searching...
No Matches
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