try this

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Dec 19, 2023 · c652946 · c652946
1 parent c06a670
commit c652946
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/Windows.yml b/.github/workflows/Windows.yml
@@ -26,4 +26,17 @@ jobs:
           cmd /c "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" ${{ matrix.arch }}            
           cmake -B build -DCMAKE_BUILD_TYPE=${{ env.BUILD_TYPE }} ${{ matrix.bindings }}
           cmake --build build --config ${{ env.BUILD_TYPE }} --parallel
+     - name: Test
+        run: |
+         call "C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Auxiliary\Build\vcvarsall.bat" $(arch)
+         pushd python
+         python z3test.py z3
+         python z3test.py z3num
+         popd
+         cmake --build build --config ${{ env.BUILD_TYPE }}  cpp_example
+         examples\cpp_example_build_dir\cpp_example.exe
+         cmake --build build --config ${{ env.BUILD_TYPE }}  c_example
+         examples\c_example_build_dir\c_example.exe
+         cmake --build build --config ${{ env.BUILD_TYPE }}  test-z3
+         test-z3.exe -a