model-checker: Add command-line parser for model checking options.
[pspp-builds.git] / tests / xforms /
drwxr-xr-x   ..
-rwxr-xr-x 8841 recode.sh