Pulling out a utility function to a separate file cont.

Author: svorenova

unit/testing-utils/Makefile

@@ -4,7 +4,10 @@ SRC = \
   load_java_class.cpp \
   require_expr.cpp \
   require_goto_statements.cpp \
+  require_parse_tree.cpp \
+  require_symbol.cpp \
   require_type.cpp \
+  run_test_with_compilers.cpp \
   # Empty last line (please keep above list sorted!)
 
 INCLUDES = -I .. -I . -I ../../src

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

@@ -13,8 +13,9 @@
 #define CPROVER_TESTING_UTILS_RUN_TEST_WITH_COMPILERS_H
 
 #include <functional>
+#include <string>
 
 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