Make tests error proof

bakaq · bakaq · commit b96a171125c5 · 2025-05-02T04:21:50.000-03:00
Currently there is no way to actually just run a goal and avoid going into
the toplevel, so if the predicate errors the test will just go on to the
toplevel and freeze there forever in CI. This catches any errors and
turns them into a 1 exit code, which will fail CI instead.
diff --git a/scripts/tests.sh b/scripts/tests.sh
@@ -14,7 +14,7 @@ install() {
 }
 
 test_package() {
-    scryer-prolog -f main.pl -g main,halt
+    scryer-prolog -f main.pl -g "catch(main, _, halt(1)),halt"
 }
 
 clean

Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,7 @@ install() {`
`14`	`14`	`}`
`15`	`15`
`16`	`16`	`test_package() {`
`17`		`- scryer-prolog -f main.pl -g main,halt`
	`17`	`+ scryer-prolog -f main.pl -g "catch(main, _, halt(1)),halt"`
`18`	`18`	`}`
`19`	`19`
`20`	`20`	`clean`