std::string write_random_tmp_file( size_t filesize, const std::string& extension ) { std::vector<uint8_t> output_vector; randomize_vector(filesize, &output_vector); std::string tmp_filepath = get_random_filepath(extension); write_vector_to_file(output_vector, tmp_filepath); return tmp_filepath; }
void State::randomize() { randomize_vector(q); randomize_vector(aux); }