e run the run_tests.bat as shell

Co-Authored-By: Tony Trung Thanh Vo <[email protected]>
LearnWithLlew · Dec 13, 2021 · eab0d98 · eab0d98
1 parent faf03c5
commit eab0d98
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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).