|
CBMC
|
#include "run_test_with_compilers.h"
Include dependency graph for run_test_with_compilers.cpp:Go to the source code of this file.
Functions | |
| void | run_test_with_compilers (const std::function< void(const std::string &)> &test_with_compiler) |
| void run_test_with_compilers | ( | const std::function< void(const std::string &)> & | test_with_compiler | ) |
Definition at line 11 of file run_test_with_compilers.cpp.