CBMC
|
Utility for running a test with different compilers. More...
#include <functional>
#include <string>
Go to the source code of this file.
Functions | |
void | run_test_with_compilers (const std::function< void(const std::string &)> &test_with_compiler) |
Utility for running a test with different compilers.
Definition in file run_test_with_compilers.h.
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.