Try to support z3 on arm64 linux

UnitTestBot · Aug 1, 2023 · 769d7da · 769d7da
1 parent c5fee2c
commit 769d7da
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/ksmt-z3/build.gradle.kts b/ksmt-z3/build.gradle.kts
@@ -9,15 +9,16 @@ repositories {
     mavenCentral()
 }
 
-val z3Version = "4.11.2"
+val z3Version = "4.12.3"
 
 val z3JavaJar by lazy { mkZ3ReleaseDownloadTask("x64-win", "*.jar") }
 
 val z3BinariesWithArch = listOf(
     "x64" to mkZ3ReleaseDownloadTask("x64-win", "*.dll"),
     "x64" to mkZ3ReleaseDownloadTask("x64-glibc-2.31", "*.so"),
     "x64" to mkZ3ReleaseDownloadTask("x64-osx-10.16", "*.dylib"),
-    "arm" to mkZ3ReleaseDownloadTask("arm64-osx-11.0", "*.dylib")
+    "arm" to mkZ3ReleaseDownloadTask("arm64-osx-11.0", "*.dylib"),
+    "arm" to mkZ3ReleaseDownloadTask("arm64-glibc-2.35", "*.so"),
 )
 
 dependencies {
@@ -41,7 +42,8 @@ tasks.withType<ProcessResources> {
 
 fun Project.mkZ3ReleaseDownloadTask(arch: String, artifactPattern: String): TaskProvider<Task> {
     val z3ReleaseBaseUrl = "https://github.com/Z3Prover/z3/releases/download"
-    val releaseName = "z3-${z3Version}"
+//    val releaseName = "z3-${z3Version}"
+    val releaseName = "Nightly"
     val packageName = "z3-${z3Version}-${arch}.zip"
     val packageDownloadTarget = buildDir.resolve("dist").resolve(releaseName).resolve(packageName)
     val downloadUrl = listOf(z3ReleaseBaseUrl, releaseName, packageName).joinToString("/")

diff --git a/ksmt-z3/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprConverter.kt b/ksmt-z3/src/main/kotlin/io/ksmt/solver/z3/KZ3ExprConverter.kt
@@ -131,6 +131,7 @@ open class KZ3ExprConverter(
             Z3_sort_kind.Z3_CHAR_SORT,
             Z3_sort_kind.Z3_UNKNOWN_SORT -> TODO("$sort is not supported yet")
             null -> error("z3 sort kind cannot be null")
+            Z3_sort_kind.Z3_TYPE_VAR -> TODO()
         }
     }