From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Tue, 2 Jan 2024 19:23:53 +0000 (+0100)
Subject: cover trailing `--` and `os:argv([])` in os_argv test
X-Git-Tag: v0.9.4~40^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=38f25af47de61b43810e1855d6f35cede8980984;p=scryer-prolog.git

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 c19efbcd..e6f56a72 100644
--- 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 d62a739d..c07dff8e 100644
--- 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 831d0fdd..62b83a7a 100644
--- 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", "--"]