Pulling out a utility function to a separate file cont.

svorenova · svorenova · commit 2e250fe93f9e · 2018-03-23T14:41:30.000Z
diff --git a/unit/testing-utils/run_test_with_compilers.cpp b/unit/testing-utils/run_test_with_compilers.cpp
@@ -9,7 +9,7 @@
 #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");
diff --git a/unit/testing-utils/run_test_with_compilers.h b/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

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@`
`9`	`9`	`#include "run_test_with_compilers.h"`
`10`	`10`
`11`	`11`	`void run_test_with_compilers(`
`12`		`- const std::function<void(std::string)> &test_with_compiler)`
	`12`	`+ const std::function<void(const std::string &)> &test_with_compiler)`
`13`	`13`	`{`
`14`	`14`	`test_with_compiler("openjdk_8");`
`15`	`15`	`test_with_compiler("eclipse");`