|
cprover
|
Directory dependency graph for testing-utils:Files | |
| file | call_graph_test_utils.cpp [code] |
| file | call_graph_test_utils.h [code] |
| file | free_form_cmdline.cpp [code] |
| file | free_form_cmdline.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. | |