Searched refs:klee_open_compressed_output_file (Results 1 – 4 of 4) sorted by relevance
23 klee_open_compressed_output_file(const std::string &path, std::string &error);
39 klee_open_compressed_output_file(const std::string &path, std::string &error) { in klee_open_compressed_output_file() function
47 os = klee_open_compressed_output_file(path, error); in QueryLoggingSolver()
502 debugInstFile = klee_open_compressed_output_file(debug_file_name, error);