CBMC
run_test_with_compilers.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unit test utilities
4 
5 Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
10 
12  const std::function<void(const std::string &)> &test_with_compiler)
13 {
14  test_with_compiler(std::string("openjdk_8"));
15  test_with_compiler(std::string("eclipse"));
16  test_with_compiler(std::string("oracle_8"));
17  test_with_compiler(std::string("oracle_9"));
18 }
void run_test_with_compilers(const std::function< void(const std::string &)> &test_with_compiler)
Utility for running a test with different compilers.