Searched refs:session_filename (Results 1 – 1 of 1) sorted by relevance
343 const char session_filename[] = "/data/local/tmp/benchmark-blocking-sizes-session.data"; variable451 cerr << "Serializing benchmarks to " << session_filename << endl; in try_run_some_benchmarks()452 serialize_benchmarks(session_filename, benchmarks, first_benchmark_to_run); in try_run_some_benchmarks()506 if (deserialize_benchmarks(session_filename, deserialized_benchmarks, first_benchmark_to_run)) { in run_benchmarks()