CBMC
|
#include "run_test_with_compilers.h"
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.