Usage: ./test/userprog.o [MODEL-CHECKER OPTIONS] -- [PROGRAM ARGS]
-MODLE-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments
+MODEL-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments
provided after the `--' (the PROGRAM ARGS) are passed to the user program.
Model-checker options: