Simplify features

.github/workflows/mirai_on_mirai.yml

@@ -50,7 +50,7 @@ jobs:
           extra-args: --clean-buildtrees-after-build
       - name: Install MIRAI
         run: |
-          cargo install --force --path ./checker --no-default-features  --features="z3, use-vcpkg-z3"
+          cargo install --force --path ./checker --no-default-features --features=vcpkg
       - name: Run MIRAI on MIRAI
         run: |
           cargo mirai --no-default-features

.github/workflows/rust.yml

@@ -39,7 +39,7 @@ jobs:
 
       - name: Execute tests
         run: |
-          cargo test --all --no-default-features --features="z3, use-vcpkg-z3" -- --test-threads=1
+          cargo test --all --no-default-features --features=vcpkg -- --test-threads=1
         env:
           CARGO_INCREMENTAL: 0
           RUSTFLAGS: "-Zprofile -Ccodegen-units=1 -Copt-level=0 -Clink-dead-code -Coverflow-checks=off -Zpanic_abort_tests"

checker/Cargo.toml

@@ -64,8 +64,8 @@ walkdir = "*"
 contracts = { version = "0.6.0", features = ["mirai_assertions"] }
 
 [features]
-default = ["z3", "static-link-z3"]
-use-vcpkg-z3 = ["z3-sys/vcpkg"]
-static-link-z3 = ["z3-sys/static-link-z3"]
+default = ["static-link"]
+vcpkg = ["z3-sys/vcpkg", "z3"]
+static-link = ["z3-sys/static-link-z3", "z3"]
 z3 = []
 

install_mirai.sh

@@ -12,5 +12,11 @@ set -e
 #install mirai into cargo
 cargo uninstall -q mirai || true
 touch checker/src/lib.rs
-cargo install --locked --path ./checker
+
+# Check if dynamic link to vcpkg installed Z3 is wanted rather than static linking
+if [ "$1" == "vcpkg" ]; then
+  cargo install --locked --path ./checker --no-default-features --features=vcpkg
+else
+  cargo install --locked --path ./checker
+fi
 

validate.sh

@@ -6,6 +6,12 @@
 
 # Exit immediately if a command exits with a non-zero status.
 set -e
+
+# Check if dynamic link to vcpkg installed Z3 is wanted rather than static linking
+if [ "$1" == "vcpkg" ]; then
+  FLAGS='--no-default-features --features=vcpkg'
+fi
+
 # start clean
 cargo clean
 cargo update
@@ -30,12 +36,12 @@ cd ../../..
 
 # Run cargo test, starting clean so that the new summary store is used.
 cargo clean
-cargo build --tests
-time cargo test
+cargo build --tests $FLAGS
+time cargo test $FLAGS
 
 # Install MIRAI into cargo so that we can use optimized binaries to analyze debug binaries built with special flags
 cargo uninstall mirai || true
-cargo install --path ./checker
+cargo install --path ./checker $FLAGS
 
 # Run mirai on itself, using the optimized build in cargo as the bootstrap.
 cargo clean -p mirai