diff --git a/tests/halrun-getopt-reset/README b/tests/halrun-getopt-reset/README
new file mode 100644
index 00000000000..6d85aae2e1f
--- /dev/null
+++ b/tests/halrun-getopt-reset/README
@@ -0,0 +1 @@
+Test that a getopt bug is successfully worked around
diff --git a/tests/halrun-getopt-reset/expected b/tests/halrun-getopt-reset/expected
new file mode 100644
index 00000000000..e69de29bb2d
diff --git a/tests/halrun-getopt-reset/test.hal b/tests/halrun-getopt-reset/test.hal
new file mode 100644
index 00000000000..ea100d4d956
--- /dev/null
+++ b/tests/halrun-getopt-reset/test.hal
@@ -0,0 +1,2 @@
+loadusr -w true
+loadusr true