From eab0d98d99519568fdbc8180ab09188d95b1ef67 Mon Sep 17 00:00:00 2001 From: Llewellyn Falco Date: Mon, 13 Dec 2021 18:10:13 +0000 Subject: [PATCH] e run the run_tests.bat as shell Co-Authored-By: Tony Trung Thanh Vo <9420482+tonytvo@users.noreply.github.com> --- .github/workflows/test.yml | 2 +- hello_world_tests.plt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index ee10c8d..1fc94c9 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,4 +17,4 @@ jobs: - name: test run: | - swipl -f hello_world.pl -s hello_world_tests.plt -g run_tests,halt -t 'halt(1)' + sh -c "$(cat run_tests.bat)" diff --git a/hello_world_tests.plt b/hello_world_tests.plt index 149a6e3..7d48918 100644 --- a/hello_world_tests.plt +++ b/hello_world_tests.plt @@ -13,6 +13,6 @@ pending :- hello_world('Hello Fred!'). test(empty_board) :- - count_neighbors(empty_board, 1). + count_neighbors(empty_board, 0). :- end_tests(hello_world).