wip

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

flake.nix

@@ -23,8 +23,8 @@
         let
           pkgs-unstable = inputs.nixpkgs-unstable.legacyPackages.${system};
           util = pkgs.callPackage ./nix/util.nix {
-            inherit (pkgs) bitwuzla cvc5 z3;
-            inherit (pkgs-unstable) cbmc;
+            inherit (pkgs) bitwuzla z3;
+            inherit (pkgs-unstable) cbmc cvc5;
             # TODO: switch back to stable python3 for slothy once ortools is fixed in 25.11
             python3-for-slothy = pkgs-unstable.python3;
           };
@@ -232,8 +232,8 @@
             pkgs-unstable = inputs.nixpkgs-unstable.legacyPackages.x86_64-linux;
             util = pkgs.callPackage ./nix/util.nix {
               inherit pkgs;
-              inherit (pkgs) bitwuzla cvc5 z3;
-              inherit (pkgs-unstable) cbmc;
+              inherit (pkgs) bitwuzla z3;
+              inherit (pkgs-unstable) cbmc cvc5;
               # TODO: switch back to stable python3 for slothy once ortools is fixed in 25.11
               python3-for-slothy = pkgs-unstable.python3;
             };

nix/cbmc/default.nix

@@ -35,10 +35,9 @@ buildEnv {
           hash = "sha256-Lw037Z0t0ySxkgMXkbjNW5CB4QQLRrrSEBsLJqiomZ4=";
         };
       });
-
       inherit
         bitwuzla# 0.8.2
-        cvc5# 1.3.2
+        cvc5 # 1.3.3 (taken from nixpkgs-unstable -- see flake.nix)
         ninja; # 1.13.2
     };
 }