#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.
- Also added README to explain the steps. - Added note explaining why synthesis takes longer when benchmarking.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent