In this PR I have created run_clover_parametric.py (under supervision of Prof Amin) to run various experiments on the clover benchmark. I then changed run_clover_parametric.py to experiments_clover.py
I have also changed the check_func for run_intermediate_expansion.py which was previously imported from prompts.py. I hope this change is backwards compatible with experiments.py? This could be something to think more about.
I also updated the README.md file to explain the clover benchmark, and I add Clover to Credits.md as well
In this PR I have created run_clover_parametric.py (under supervision of Prof Amin) to run various experiments on the clover benchmark. I then changed run_clover_parametric.py to experiments_clover.py I have also changed the check_func for run_intermediate_expansion.py which was previously imported from prompts.py. I hope this change is backwards compatible with experiments.py? This could be something to think more about.
I also updated the README.md file to explain the clover benchmark, and I add Clover to Credits.md as well