This PR contains code for doing basic benchmarking of FP programs. It takes programs scraped by extract.py into examples.txt, and inputs each line into the FP synthesizer to attempt synthesis. It records whether synthesis was successful or not, the synthesized code, and the synthesis time.
This PR contains code for doing basic benchmarking of FP programs. It takes programs scraped by
extract.py
intoexamples.txt
, and inputs each line into the FP synthesizer to attempt synthesis. It records whether synthesis was successful or not, the synthesized code, and the synthesis time.