nix: Bump Kani

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Sep 18, 2024 · 9f109cc · 9f109cc
1 parent ea05598
commit 9f109cc
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 7 deletions.
diff --git a/Makefile b/Makefile
@@ -124,7 +124,13 @@ witness-fast-tests:
 
 .PHONY: check-kani-proofs
 check-kani-proofs:
-	$(run_in_nix_shell) "cargo kani -p sel4-bitfield-ops"
+	$(run_in_nix_shell) "\
+		cargo kani \
+			--enable-unstable \
+			--output-format=terse \
+			$(jobs_args) \
+			-p sel4-bitfield-ops \
+	"
 
 .PHONY: everything-except-non-incremental
 everything-except-non-incremental:

diff --git a/hacking/nix/scope/kani/cbmc-viewer.nix b/hacking/nix/scope/kani/cbmc-viewer.nix
@@ -14,15 +14,15 @@
 
 buildPythonPackage rec {
   pname = "cbmc-viewer";
-  version = "3.8";
+  version = "3.9";
 
   format = "pyproject";
 
   src = fetchFromGitHub {
     owner = "model-checking";
     repo = "cbmc-viewer";
-    rev = "viewer-3.8";
-    hash = "sha256-GIpinwjl/v6Dz5HyOsoPfM9fxG0poZ0HPsKLe9js9vM=";
+    rev = "viewer-3.9";
+    hash = "sha256-BfXusrOXGBvquM841K4gb5HQVSryiZS8+ihgj7DVxbI=";
   };
 
   propagatedBuildInputs = [

diff --git a/hacking/nix/scope/kani/default.nix b/hacking/nix/scope/kani/default.nix
@@ -34,7 +34,7 @@ let
         toolchain.components = rustToolchainAttrs.toolchain.components ++ [ "rust-src" ];
       }
     ]);
-    sha256 = "sha256-akRjdj8CP0mRL4czKC7GssksdunxdckSNiNU36zduV0=";
+    sha256 = "sha256-opDDHyN+Xa9kcjdHwGl3IpBsUw7ikGU+Ng00JeCdkMA=";
   };
 
   rustEnvironment = lib.fix (self: elaborateRustEnvironment (mkDefaultElaborateRustEnvironmentArgs {
@@ -49,8 +49,8 @@ let
   src = fetchFromGitHub {
     owner = "model-checking";
     repo = "kani";
-    rev = "kani-0.52.0";
-    sha256 = "sha256-LyMZt6E1U03n4w5L9JMxgklAyvhltSJTvRl7zxYpw6A=";
+    rev = "kani-0.55.0";
+    sha256 = "sha256-BBcJopXNSKwvMqs/wcw743+g4lvGTqy1OrATTBxph+I=";
   };
 
   localLockfile = vendorLockfile {