Benchmarks are inside benchmark
directory.
Copy the content of a single benchmark in the src/input/
to run.
cd src
cp -r ../benchmarks/b1/* input/
Now run the run.sh
file to run Panini with benchmark b1
.
bash run.sh
Synthesized solutions will be inside synthesized_sols
directory.