Upgrade to cbmc-viewer 3.12 for compatibility with Python 3.13

Signed-off-by: Rod Chapman <rodchap@amazon.com>

Author: rod-chapman

nix/cbmc/cbmc-viewer.nix

@@ -7,10 +7,10 @@
 
 python3Packages.buildPythonApplication rec {
   pname = "cbmc-viewer";
-  version = "3.11";
+  version = "3.12";
   src = fetchurl {
     url = "https://github.com/model-checking/${pname}/releases/download/viewer-${version}/cbmc_viewer-${version}-py3-none-any.whl";
-    hash = "sha256-Oy51I64KMbtE8lG8xuFXdK4RvXFvWt4zYKBlcXqwILg=";
+    hash = "sha256-zlme9udeOyxGPC5YNyhP1e0/zX6kJwwx3vZwcQbILTM=";
   };
   format = "wheel";
   dontUseSetuptoolsCheck = true;

nix/cbmc/default.nix

@@ -36,7 +36,7 @@ buildEnv {
         };
       });
       litani = callPackage ./litani.nix { }; # 1.29.0
-      cbmc-viewer = callPackage ./cbmc-viewer.nix { }; # 3.11
+      cbmc-viewer = callPackage ./cbmc-viewer.nix { }; # 3.12
       z3 = z3.overrideAttrs (old: rec {
         version = "4.15.3";
         src = fetchFromGitHub {