Configuration options
Nils, I am just opening this MR to explaing this:
I added some arguments to main.py, which only get added if --correctness is used. You can easily do the same for --violation. Also, I have a single (--hw-verifiers) and multiple (level) choice argument as well.
So for example what I can do is:
./main.py <add the common arguments like --program here> --correctness --level valid safe inductive --hw-verifiers all
(order does not matter)
It is the first time I'm writing more complex arguments like this in Argparse, but I think it works - feel free to use these as an example for yours.
Just merge to main or leave a comment if you think I should change anything. :)