We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent aa2e1f2 commit 3c6072dCopy full SHA for 3c6072d
.github/workflows/tests.yml
@@ -33,6 +33,8 @@ jobs:
33
34
- name: Setup SMT solvers
35
uses: keyproject/setup-smt@v0
36
+ with:
37
+ z3Version: 4.13.0
38
39
- name: z3 version
40
run: z3 --version
0 commit comments