Fix 'Unsupported CPU architecture' errors on M1+ Macs

Support for M1+ macs was added to z3-turnkey with version 4.8.15: tudo-aqua/z3-turnkey#12
glockyco · Nov 2, 2022 · e3f5a46 · e3f5a46
1 parent a878c1b
commit e3f5a46
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/Implementation/jpf-git/jpf-symbc/jpf.properties b/Implementation/jpf-git/jpf-symbc/jpf.properties
@@ -10,7 +10,7 @@ jpf-symbc.native_classpath=\
   ${jpf-symbc}/lib/libcvc3.jar;\
   ${jpf-symbc}/lib/choco-1_2_04.jar;\
   ${jpf-symbc}/lib/choco-solver-2.1.1-20100709.142532-2.jar;\
-  ${jpf-symbc}/lib/z3-turnkey-4.8.14.jar;\
+  ${jpf-symbc}/lib/z3-turnkey-4.11.2.jar;\
   ${jpf-symbc}/lib/STPJNI.jar;\
   ${jpf-symbc}/lib/scale.jar;\
   ${jpf-symbc}/lib/automaton.jar;\

diff --git a/...f-git/jpf-symbc/lib/z3-turnkey-4.8.14.jar → ...f-git/jpf-symbc/lib/z3-turnkey-4.11.2.jar b/...f-git/jpf-symbc/lib/z3-turnkey-4.8.14.jar → ...f-git/jpf-symbc/lib/z3-turnkey-4.11.2.jar
diff --git a/.../Implementation_jar/z3-turnkey-4.8.14.jar → .../Implementation_jar/z3-turnkey-4.11.2.jar b/.../Implementation_jar/z3-turnkey-4.8.14.jar → .../Implementation_jar/z3-turnkey-4.11.2.jar