Lines Matching refs:string
22 #include <string>
46 bool ExecuteCommand(const std::string& command) {
203 int argc, const char** argv, std::string* in_binary_file,
204 std::string* out_binary_file, std::string* donors_file,
205 std::string* replay_transformations_file,
206 std::vector<std::string>* interestingness_test,
207 std::string* shrink_transformations_file,
208 std::string* shrink_temp_file_prefix,
231 *out_binary_file = std::string(argv[++argi]);
238 *donors_file = std::string(split_flag.second);
250 *replay_transformations_file = std::string(split_flag.second);
253 std::string strategy = spvtools::utils::SplitFlagArgs(cur_arg).second;
273 std::string target = spvtools::utils::SplitFlagArgs(cur_arg).second;
299 *shrink_transformations_file = std::string(split_flag.second);
320 *shrink_temp_file_prefix = std::string(split_flag.second);
345 *in_binary_file = std::string(cur_arg);
348 interestingness_test->push_back(std::string(cur_arg));
443 const std::string& transformations_file,
466 const std::string& replay_transformations_file,
510 const std::string& shrink_transformations_file,
511 const std::string& shrink_temp_file_prefix,
512 const std::vector<std::string>& interestingness_command,
529 std::string interestingness_command_joined = joined.str();
538 const std::string command = interestingness_command_joined + " " + spv_file;
567 const std::string& donors,
581 std::string donor_filename;
675 std::string json_string;
690 std::string in_binary_file;
691 std::string out_binary_file;
692 std::string donors_file;
693 std::string replay_transformations_file;
694 std::vector<std::string> interestingness_test;
695 std::string shrink_transformations_file;
696 std::string shrink_temp_file_prefix = "temp_";
721 // If not found, dot_pos will be std::string::npos, which can be used in
722 // substr to mean "the end of the string"; there is no need to check the
725 std::string in_facts_file = in_binary_file.substr(0, dot_pos) + ".facts";
728 std::string facts_json_string((std::istreambuf_iterator<char>(facts_input)),
786 // If not found, dot_pos will be std::string::npos, which can be used in
787 // substr to mean "the end of the string"; there is no need to check the
790 std::string output_file_prefix = out_binary_file.substr(0, dot_pos);
803 std::string json_string;