in scripts/generate-comparison.py [0:0]
def main(files, labels, benchmark: str, title: str):
results = []
for filename in files:
with open(filename) as f:
results.append(json.load(f))
generate_summary(results, labels, benchmark, title)
generate_query_comparison_chart(results, labels, benchmark, title)
if len(files) == 2:
generate_query_speedup_chart(results[0], results[1], labels[0], labels[1], benchmark, title)