File-oriented testing

inspired by #2191 but for the `run_top_level_test_with_args`s and `run_top_level_test_no_args instead of the `load_module_test`s
2023-12-04 22:00:52 +01:00
parent eddcdaabef
commit 1c52de9ab1
62 changed files with 427 additions and 239 deletions
--- a/tests/scryer/cli/issues/handle_residual_goal.stdin
+++ b/tests/scryer/cli/issues/handle_residual_goal.stdin
@@ -0,0 +1,11 @@
+use_module(library(dif)).
+use_module(library(atts)).
+-X\=X.
+-X=X.
+dif(-X,X).
+dif(-X,X), -X=X.
+call_residue_vars(dif(-X,X), Vars).
+set_prolog_flag(occurs_check, true).
+-X\=X.
+dif(-X,X).
+halt.