fstream now takes std::string

Author: Daniel Kroening

src/cegis/cegis-util/cbmc_runner.cpp

@@ -20,7 +20,7 @@ namespace
 {
 bool exists(const std::string &name)
 {
-  return std::ifstream(name.c_str()).good();
+  return std::ifstream(name).good();
 }
 
 std::string get_goto_file_name(const size_t index)

src/cegis/genetic/concrete_test_runner.cpp

@@ -51,7 +51,7 @@ void implement_deserialise(std::string &source)
 
 }
 
-void write_file(const char * const path, const std::string &content)
+void write_file(const std::string &path, const std::string &content)
 {
   std::ofstream ofs(path);
   ofs << content;
@@ -71,7 +71,7 @@ void prepare_executable(bool &executable_compiled,
   std::string source;
   implement_deserialise(source);
   source+=source_code_provider();
-  write_file(source_file_name.c_str(), source);
+  write_file(source_file_name, source);
   std::string compile_command(COMPILE_COMMAND);
   compile_command+=source_file_name;
   compile_command+=ARTIFACT_SEPARATOR;

src/cegis/genetic/dynamic_test_runner_helper.cpp

@@ -24,7 +24,7 @@ void close_fitness_tester_library(fitness_lib_handlet &handle)
 
 namespace
 {
-void write_file(const char * const path, const std::string &content)
+void write_file(const std::string &path, const std::string &content)
 {
   std::ofstream ofs(path);
   ofs << content;
@@ -51,7 +51,7 @@ void *prepare_fitness_tester_library(fitness_lib_handlet &handle,
 {
   const temporary_filet source_file(SOURCE_FILE_PREFIX, SOURCE_FILE_SUFFIX);
   const std::string source_file_name(source_file());
-  write_file(source_file_name.c_str(), source_code_provider());
+  write_file(source_file_name, source_code_provider());
   std::string compile_command;
   if (configt::ansi_ct::preprocessort::CLANG == config.ansi_c.preprocessor)
     compile_command+=CLANG_COMPILE_COMMAND;