typo

Author: wadoon

dist/index.js

@@ -65,41 +65,44 @@ export async function run(): Promise<void> {
   core.debug(`Platform: ${platform}`)
 
   const z3Version = core.getInput('z3Version')
+  const cvc5Version = core.getInput('cvc5Version')
 
-  await download('z3', z3Version, {
+  const CVC5_TOOL: Tools = {
     linux: {
-      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-glibc-2.35.zip`,
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Linux-x86_64-static.zip`,
       format: 'zip',
-      binPath: `z3-${z3Version}-x64-glibc-2.35/bin/`
+      binPath: `cvc5-Linux-x86_64-static/bin/`
     },
     windows: {
-      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-win.zip`,
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Win64-x86_64-static.zip`,
       format: 'zip',
-      binPath: `z3-${z3Version}-x64-win/bin/`
+      binPath: `cvc5-Win64-x86_64-static/bin/`
     },
     macos: {
-      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-osx-13.7.2.zip`,
+      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-macOS-x86_64-static.zip`,
       format: 'zip',
-      binPath: `z3-${z3Version}-osx/bin/`
+      binPath: `cvc5-macOS-x86_64-static/bin/`
     }
-  })
+  }
 
-  const cvc5Version = core.getInput('cv5Version')
-  await download('cvc5', cvc5Version, {
+  const Z3_TOOL: Tools = {
     linux: {
-      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Linux-x86_64-static.zip`,
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-glibc-2.35.zip`,
       format: 'zip',
-      binPath: `cvc5-Linux-x86_64-static/bin/`
+      binPath: `z3-${z3Version}-x64-glibc-2.35/bin/`
     },
     windows: {
-      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-Win64-x86_64-static.zip`,
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-win.zip`,
       format: 'zip',
-      binPath: `cvc5-Win64-x86_64-static/bin/`
+      binPath: `z3-${z3Version}-x64-win/bin/`
     },
     macos: {
-      url: `https://github.com/cvc5/cvc5/releases/download/cvc5-${cvc5Version}/cvc5-macOS-x86_64-static.zip`,
+      url: `https://github.com/Z3Prover/z3/releases/download/z3-${z3Version}/z3-${z3Version}-x64-osx-13.7.2.zip`,
       format: 'zip',
-      binPath: `cvc5-macOS-x86_64-static/bin/`
+      binPath: `z3-${z3Version}-osx/bin/`
     }
-  })
+  }
+
+  await download('cvc5', cvc5Version, CVC5_TOOL)
+  await download('z3', z3Version, Z3_TOOL)
 }