Changed github action for installing z3 to v1.2.2

viperproject · Sep 8, 2023 · 1c51da1 · 1c51da1
1 parent 9e62736
commit 1c51da1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/z3_trace_log_gen.yml b/.github/workflows/z3_trace_log_gen.yml
@@ -23,7 +23,7 @@ jobs:
           fetch-depth: 0 # needed, see GitHub Action "Changed Files"
 
       - name: Install Z3
-        uses: pavpanchekha/setup-z3@v1.3 # see GitHub Action "Install Z3"
+        uses: pavpanchekha/setup-z3@v1.2.2 # see GitHub Action "Install Z3"
         with:
           version: ${{ matrix.z3version }} 
 

diff --git a/smt-problems/small_forall_example_2.smt2 b/smt-problems/small_forall_example_2.smt2
@@ -1,6 +1,6 @@
 (declare-const x (_ BitVec 64))
-(declare-const y (_ BitVec 64))
-(assert (forall ((x (_ BitVec 64)) (y (_ BitVec 64)))
-    (= (bvsub (bvadd x y) (bvshl (bvand x y) (_ bv1 64))) (bvxor x y))))
+(declare-const z (_ BitVec 64))
+(assert (forall ((x (_ BitVec 64)) (z (_ BitVec 64)))
+    (= (bvsub (bvadd x z) (bvshl (bvand x z) (_ bv1 64))) (bvxor x z))))
 
 (check-sat)