cover trailing `--` and `os:argv([])` in os_argv test

diff --git a/tests/scryer/cli/issues/os_argv.stdin b/tests/scryer/cli/issues/os_argv.stdin
index c19efbcdbdc177a0e7500d49eae2b80e42816bd5..e6f56a7239937cfabe4602579a847ef6cd9f874f 100644 (file)
--- a/tests/scryer/cli/issues/os_argv.stdin
+++ b/tests/scryer/cli/issues/os_argv.stdin
@@ -2,3 +2,4 @@ os:argv(V).
 os:argv(["test1"|_]).
 os:argv(["--"|_]).
 os:argv(["test2"|_]).
+os:argv([]).

diff --git a/tests/scryer/cli/issues/os_argv.stdout b/tests/scryer/cli/issues/os_argv.stdout
index d62a739dced33062a4dd18d3ef210c8d0b31a2cd..c07dff8ec7fad1e1825cc5183ba00c3f6aa9e5a7 100644 (file)
--- a/tests/scryer/cli/issues/os_argv.stdout
+++ b/tests/scryer/cli/issues/os_argv.stdout
@@ -1,4 +1,5 @@
-   V = ["test1","--","test2"].
+   V = ["test1","--","test2","--"].
    true.
    false.
    false.
+   false.

diff --git a/tests/scryer/cli/issues/os_argv.toml b/tests/scryer/cli/issues/os_argv.toml
index 831d0fddd4bf448645ffc1fdb6ca629055371c0d..62b83a7aef168d9b071e1139235837505d446b7e 100644 (file)
--- a/tests/scryer/cli/issues/os_argv.toml
+++ b/tests/scryer/cli/issues/os_argv.toml
@@ -1,2 +1,2 @@
 # https://github.com/mthom/scryer-prolog/pull/2263#issuecomment-1874400820
-args = ["-f", "--no-add-history", "--", "test1", "--", "test2"]
+args = ["-f", "--no-add-history", "--", "test1", "--", "test2", "--"]