From 42b3254c46424d26c092ab98551f0cea1ee5a19f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 31 Jul 2021 12:36:32 -0700
Subject: [PATCH] Update coverage.yml

---
 .github/workflows/coverage.yml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 2ee5f6df3..7efc4d0d2 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -31,6 +31,15 @@ jobs:
       # Build your program with the given configuration
       run: cmake --build ${{github.workspace}}/build --config ${{env.BUILD_TYPE}}
 
+    - name: Clone z3test
+      run: git clone https://github.com/z3prover/z3test z3test
+    
+    - name: Run regressions
+      run: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2    
+      
+    - name: Run coverage
+      run: python z3test/scripts/test_coverage_tests.py build/install z3test/coverage/cpp    
+
     - name: Test
       working-directory: ${{github.workspace}}/build
       # Execute tests defined by the CMake configuration.