CBMC: Update to latest main

This commit updates CBMC to the latest development version after
the merge of diffblue/cbmc#8603.

Signed-off-by: Hanno Becker <[email protected]>

Author: hanno-becker

flake.nix

@@ -23,7 +23,7 @@
           pkgs-unstable = inputs.nixpkgs-unstable.legacyPackages.${system};
           pkgs-2405 = inputs.nixpkgs-2405.legacyPackages.${system};
           util = pkgs.callPackage ./nix/util.nix {
-            cbmc = pkgs-unstable.cbmc;
+            cbmc = pkgs.cbmc;
             bitwuzla = pkgs-unstable.bitwuzla;
             z3 = pkgs-unstable.z3;
           };
@@ -114,7 +114,7 @@
             pkgs-unstable = inputs.nixpkgs-unstable.legacyPackages.x86_64-linux;
             util = pkgs.callPackage ./nix/util.nix {
               inherit pkgs;
-              cbmc = pkgs-unstable.cbmc;
+              cbmc = pkgs.cbmc;
               bitwuzla = pkgs-unstable.bitwuzla;
               z3 = pkgs-unstable.z3;
             };

nix/cbmc/default.nix

@@ -14,12 +14,12 @@ buildEnv {
   paths =
     builtins.attrValues {
       cbmc = cbmc.overrideAttrs (old: rec {
-        version = "6.4.1"; # remember to adjust this in ../flake.nix too
+        version = "weaken-is-fresh-assert"; # remember to adjust this in ../flake.nix too
         src = fetchFromGitHub {
-          owner = "diffblue";
-          repo = old.pname;
-          tag = "${old.pname}-${version}";
-          hash = "sha256-O8aZTW+Eylshl9bmm9GzbljWB0+cj2liZHs2uScERkM=";
+          owner = "remi-delmas-3000";
+          repo = "cbmc";
+          rev = "d4a1c6d33ab41b3ef416bb5fd812d2050ecc9fd7";
+          hash = "sha256-PXCcvArTXhRWRCzlgDXFsrD+XAGL1zt+iooGM9lFF2Q=";
         };
       });
       litani = callPackage ./litani.nix { }; # 1.29.0