]> Repositorios git - scryer-prolog.git/commitdiff
add tests
authorSkgland <[email protected]>
Sat, 25 Apr 2026 10:49:14 +0000 (12:49 +0200)
committerBennet Bleßmann <[email protected]>
Sat, 25 Apr 2026 12:35:07 +0000 (14:35 +0200)
tests/scryer/cli/unix/process.md
tests/scryer/cli/windows/process.md

index 6bb174e42a5c96c577402e48dda6e38912933089..8709caa73b0016a8f3fde6040310db1776dd199e 100644 (file)
@@ -1,5 +1,6 @@
 ```trycmd
-$ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("false", [], [process(P)]), process_wait(P, exit(1)), halt'
+$ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("false", [], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1)), halt'
+pid=[..]
 
 ```
 
@@ -11,4 +12,23 @@ $  scryer-prolog -f --no-add-history -g 'use_module(library(process)), use_modul
 ```trycmd
 $  scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("sh", ["-c", "sleep 5"], [process(P), stdout(null)]), process_kill(P), process_wait(P, killed(9)), halt'
 
+```
+
+
+```trycmd
+$ scryer-prolog -f --no-add-history -t halt -g 'use_module(library(process)), process_create("false", [], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1)), process_id(P, Pid2), write(pid=Pid2), nl'
+? success
+pid=[..]
+pid=[..]
+
+```
+
+
+domain error is expected release option doesn't exsist yet
+```trycmd
+$ scryer-prolog -f --no-add-history -t halt -g 'use_module(library(process)), process_create("false", [], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1), [release(false)]), process_id(P, Pid2), write(pid=Pid2), nl, process_release(P), process_id(P, Pid3), write(pid=Pid3), nl'
+? success
+pid=[..]
+use_module(library(process)),process_create("false",[],[process(P)]),process_id(P,Pid),write(pid=Pid),nl,process_wait(P,exit(1),[release(false)]),process_id(P,Pid2),write(pid=Pid2),nl,process_release(P),process_id(P,Pid3),write(pid=Pid3),nl causes: error(domain_error(process_wait_option,release),[predicate-process_wait/3,predicate-check_options/3,predicate-must_be_known_options/3])
+
 ```
\ No newline at end of file
index da27656b698ea4c6cc952c15f622383de41f4c3f..dcfb33bcb55560ed84f638c37ead49e662dfe9d2 100644 (file)
@@ -1,9 +1,25 @@
 ```trycmd
-$ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("cmd", ["/C", "exit", "1"], [process(P)]), process_wait(P, exit(1)), halt'
+$ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_create("cmd", ["/C", "exit", "1"], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1)), halt'
+pid=[..]
 
 ```
 
 ```trycmd
 $  scryer-prolog -f --no-add-history -g 'use_module(library(process)), use_module(library(format)), process_create("cmd", [], [process(P), stdout(null), stdin(pipe(S))]), format(S, "exit 1~n", []), process_wait(P, exit(1)), halt'
 
+```
+
+```trycmd
+$ scryer-prolog -f --no-add-history -t halt -g 'use_module(library(process)), process_create("cmd", ["/C", "exit", "1"], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1)), process_id(P, Pid2), write(pid=Pid2), nl'
+pid=[..]
+pid=[..]
+
+```
+
+domain error is expected as the release option has not yet been added
+```trycmd
+$ scryer-prolog -f --no-add-history -t halt -g 'use_module(library(process)), process_create("cmd", ["/C", "exit", "1"], [process(P)]), process_id(P, Pid), write(pid=Pid), nl, process_wait(P, exit(1), [release(false)]), process_id(P, Pid2), write(pid=Pid2), nl, process_release(P), process_id(P, Pid3), write(pid=Pid3), nl'
+pid=[..]
+use_module(library(process)),process_create("cmd",["/C","exit","1"],[process(P)]),process_id(P,Pid),write(pid=Pid),nl,process_wait(P,exit(1),[release(false)]),process_id(P,Pid2),write(pid=Pid2),nl,process_release(P),process_id(P,Pid3),write(pid=Pid3),nl causes: error(domain_error(process_wait_option,release),[predicate-process_wait/3,predicate-check_options/3,predicate-must_be_known_options/3])
+
 ```
\ No newline at end of file