CBMC
run_test_with_compilers.cpp File Reference
+ 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)
 

Function Documentation

◆ run_test_with_compilers()

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.