Created cmdline.py to handle the logic of command line flags, and all other files that originally used hard coded flags now import arguments from cmdline.py. Note that if no arguments are specified, the default values for those arguments are used, which can be seen by the default parameter for each argument.
To run with specific arguments, simply add a --[argument name] [desired argument value] for each argument after the original command to run. To execute run.py with Coq, simply execute python run.py --language "Coq".
namin
commented
6 months ago
Created
cmdline.pyto handle the logic of command line flags, and all other files that originally used hard coded flags now import arguments fromcmdline.py. Note that if no arguments are specified, the default values for those arguments are used, which can be seen by thedefaultparameter for each argument.To run with specific arguments, simply add a
--[argument name] [desired argument value]for each argument after the original command to run. To executerun.pywith Coq, simply executepython run.py --language "Coq".