Pulling out a utility function to a separate file cont.

Author: svorenova

unit/testing-utils/run_test_with_compilers.cpp

@@ -9,10 +9,10 @@
 #include "run_test_with_compilers.h"
 
 void run_test_with_compilers(
-  const std::function<void(std::string)> &test_with_compiler)
+  const std::function<void(const std::string &)> &test_with_compiler)
 {
-  test_with_compiler("openjdk_8");
-  test_with_compiler("eclipse");
-  test_with_compiler("oracle_8");
-  test_with_compiler("oracle_9");
+  test_with_compiler(std::string("openjdk_8"));
+  test_with_compiler(std::string("eclipse"));
+  test_with_compiler(std::string("oracle_8"));
+  test_with_compiler(std::string("oracle_9"));
 }

unit/testing-utils/run_test_with_compilers.h

@@ -15,6 +15,6 @@
 #include <functional>
 
 void run_test_with_compilers(
-  const std::function<void(std::string)> &test_with_compiler);
+  const std::function<void(const std::string &)> &test_with_compiler);
 
 #endif // CPROVER_TESTING_UTILS_RUN_TEST_WITH_COMPILERS_H