Searched refs:options_file (Results 1 – 6 of 6) sorted by relevance
79 with open(config_path, 'w') as options_file:80 options_file.write(82 config.write(options_file)
45 local options_file="$FUZZER.options"48 if [[ -f "$options_file" ]]; then49 dict=$(sed -n 's/^\s*dict\s*=\s*\(.*\)/\1/p' "$options_file" | tail -1)
122 const std::string& options_file) { in ParseRtpGeneratorOptionsFromFile() argument123 if (!test::FileExists(options_file)) { in ParseRtpGeneratorOptionsFromFile()129 FileWrapper config_file = FileWrapper::OpenReadOnly(options_file); in ParseRtpGeneratorOptionsFromFile()
61 const std::string& options_file);
1429 optfilename = options.options_file % os.path.splitext(filename)[0]1432 optfilename = options.options_file
1537 optfilename = options.options_file % os.path.splitext(filename)[0]1540 optfilename = options.options_file