From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Thu, 4 Jan 2024 17:12:38 +0000 (+0100)
Subject: add another test case for os:argv/1
X-Git-Tag: v0.9.4~40^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e66e7c50341fd22ad893d987597d6064d2e255d8;p=scryer-prolog.git

add another test case for os:argv/1
---

diff --git a/tests/scryer/cli/issues/os_argv-no-final--.stdin b/tests/scryer/cli/issues/os_argv-no-final--.stdin
index e6f56a72..59ba556c 100644
--- a/tests/scryer/cli/issues/os_argv-no-final--.stdin
+++ b/tests/scryer/cli/issues/os_argv-no-final--.stdin
@@ -1,5 +1,6 @@
 os:argv(V).
 os:argv(["test1"|_]).
 os:argv(["--"|_]).
+os:argv([V, "--"|_]).
 os:argv(["test2"|_]).
 os:argv([]).
diff --git a/tests/scryer/cli/issues/os_argv-no-final--.stdout b/tests/scryer/cli/issues/os_argv-no-final--.stdout
index 7e974134..9558ca7f 100644
--- a/tests/scryer/cli/issues/os_argv-no-final--.stdout
+++ b/tests/scryer/cli/issues/os_argv-no-final--.stdout
@@ -1,5 +1,6 @@
    V = ["test1","--","test2"].
    true.
    false.
+   V = "test1".
    false.
    false.
diff --git a/tests/scryer/cli/issues/os_argv.stdin b/tests/scryer/cli/issues/os_argv.stdin
index e6f56a72..59ba556c 100644
--- a/tests/scryer/cli/issues/os_argv.stdin
+++ b/tests/scryer/cli/issues/os_argv.stdin
@@ -1,5 +1,6 @@
 os:argv(V).
 os:argv(["test1"|_]).
 os:argv(["--"|_]).
+os:argv([V, "--"|_]).
 os:argv(["test2"|_]).
 os:argv([]).
diff --git a/tests/scryer/cli/issues/os_argv.stdout b/tests/scryer/cli/issues/os_argv.stdout
index c07dff8e..2916310c 100644
--- a/tests/scryer/cli/issues/os_argv.stdout
+++ b/tests/scryer/cli/issues/os_argv.stdout
@@ -1,5 +1,6 @@
    V = ["test1","--","test2","--"].
    true.
    false.
+   V = "test1".
    false.
    false.