Skip to content

Configuration options

AdamZsofi requested to merge correctness-dev into main

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. :)

Merge request reports