3 Years Ago
If we aren't autobenchmarking, dump benchmark results to a json file