svf-lib 1.0.1952 → 1.0.1953

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/llvm_install.sh +1 -0
  2. package/package.json +1 -1
package/llvm_install.sh CHANGED
@@ -73,6 +73,7 @@ then
73
73
  urlZ3="$MacArmZ3"
74
74
  else
75
75
  urlZ3="$MacZ3"
76
+ fi
76
77
  echo 'Downloading z3 binary for MacOS '
77
78
  curl -L $urlZ3 > z3.zip
78
79
  mkdir $install_path/$Z3Home
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "svf-lib",
3
- "version": "1.0.1952",
3
+ "version": "1.0.1953",
4
4
  "description": "SVF's npm support",
5
5
  "main": "index.js",
6
6
  "scripts": {