/tests/halrun-getopt-reset/

• ../
• README
• expected
• test.hal