From c6e79d081083378f8a94a118a0d4e45a4fc80298 Mon Sep 17 00:00:00 2001 From: Roman Melnikov Date: Thu, 25 Apr 2024 13:54:00 +0200 Subject: [PATCH] [DMS-31] Bump z3 solver Problem: Currently used z3 version abnormally failes on GA macOS runners. Solution: Use 'z3_4_12'. --- default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/default.nix b/default.nix index 53ac8b333b7..a812ed096ac 100644 --- a/default.nix +++ b/default.nix @@ -509,7 +509,7 @@ rec { run-deser = test_subdir "run-deser" [ deser ]; perf = perf_subdir "perf" [ moc nixpkgs.drun ]; bench = perf_subdir "bench" [ moc nixpkgs.drun ic-wasm ]; - viper = test_subdir "viper" [ moc nixpkgs.which nixpkgs.openjdk nixpkgs.z3 ]; + viper = test_subdir "viper" [ moc nixpkgs.which nixpkgs.openjdk nixpkgs.z3_4_12 ]; inherit qc lsp unit candid profiling-graphs coverage; }) // { recurseForDerivations = true; }; @@ -818,7 +818,7 @@ EOF niv nix-update rlwrap # for `rlwrap moc` - openjdk z3 # for viper dev + openjdk z3_4_12 # for viper dev difftastic ] ++ lib.optional stdenv.isDarwin darwin.apple_sdk.frameworks.Security ));