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:
-u, --uninitialized=VALUE Return VALUE any load which may read from an
uninitialized atomic.
Default: 0
--c, --analysis Use SC Trace Analysis.
+-t, --analysis=NAME Use Analysis Plugin.
+-o, --options=NAME Option for previous analysis plugin.
+ -o help for a list of options
-- Program arguments follow.