Added z3 Windows arm64.

sireum · Mar 12, 2024 · b1b973c · b1b973c
1 parent 4ef5f76
commit b1b973c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/jvm/src/main/scala/org/sireum/Init.scala b/library/jvm/src/main/scala/org/sireum/Init.scala
@@ -357,7 +357,7 @@ import Init._
         find((r: GitHub.Release) => r.name == releaseName) match {
         case Some(r) =>
           val desc: String = kind match {
-            case Os.Kind.Win => "x64-win"
+            case Os.Kind.Win => if (Os.isWinArm) "arm64-win" else "x64-win"
             case Os.Kind.Linux => "x64-glibc"
             case Os.Kind.LinuxArm => "arm64-glibc"
             case Os.Kind.Mac => if (Os.isMacArm) "arm64-osx" else "x64-osx"