CBMC
run_test_with_compilers.h File Reference

Utility for running a test with different compilers. More...

#include <functional>
#include <string>
+ Include dependency graph for run_test_with_compilers.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void run_test_with_compilers (const std::function< void(const std::string &)> &test_with_compiler)
 

Detailed Description

Utility for running a test with different compilers.

Definition in file run_test_with_compilers.h.

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.