Adopt cbmc-viewer 3.11

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

Author: rod-chapman

nix/cbmc/cbmc-viewer.nix

@@ -5,10 +5,10 @@
 
 python3Packages.buildPythonApplication rec {
   pname = "cbmc-viewer";
-  version = "3.10";
+  version = "3.11";
   src = fetchurl {
     url = "https://github.com/model-checking/${pname}/releases/download/viewer-${version}/cbmc_viewer-${version}-py3-none-any.whl";
-    hash = "sha256-8XNovxTaNbQRoHZuTkZkYZz3HmU78TuF12vVOlYv3Yg=";
+    hash = "sha256-nt3AUmuL3kT1+Bl1XXDHHkMzPR1GbxvceFYluAnzkJ8=";
   };
   format = "wheel";
   dontUseSetuptoolsCheck = true;

nix/cbmc/default.nix

@@ -23,7 +23,7 @@ buildEnv {
         };
       });
       litani = callPackage ./litani.nix { }; # 1.29.0
-      cbmc-viewer = callPackage ./cbmc-viewer.nix { }; # 3.10
+      cbmc-viewer = callPackage ./cbmc-viewer.nix { }; # 3.11
 
       inherit
         cadical#1.9.5