First draft of a compile and run tests against vs2019 in gh actions.

Author: Fotis Koutoulakis

.github/workflows/pull-request-checks.yaml

@@ -39,6 +39,7 @@ jobs:
           make -C regression/cbmc test-paths-lifo
           env PATH=$PATH:`pwd`/src/solvers make -C regression/cbmc test-cprover-smt2
           make -C jbmc/regression test
+
   check-ubuntu-20_04-cmake-gcc:
     runs-on: ubuntu-20.04
     steps:
@@ -111,7 +112,8 @@ jobs:
         run: cd build; ninja
       - name: Run CTest
         run: cd build; ctest -V -L CORE .
-  check-vs-2019-build-only:
+
+  check-vs-2019-build-and-test:
     runs-on: windows-2019
     env:
       SCRIPT_DIR: .github/workflows/vs2019

.github/workflows/vs2019/run-tests.bat

@@ -0,0 +1,8 @@
+@REM Run tests on visual studio 2019 generated build
+
+@echo PATH:
+@echo
+@echo %PATH%
+
+@echo Run tests with ctest
+ctest -V -L CORE .