Skip to content

#455 Add script to generate overview of synthesis benchmarking results.

  • Also added README to explain the steps.
  • Added note explaining why synthesis takes longer when benchmarking.

Closes #455 (closed)

Merge request reports