nix: Disable unwinding for Verus test

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 28, 2024 · a48c737 · a48c737
1 parent d2486ae
commit a48c737
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 3 deletions.
diff --git a/crates/private/tests/root-task/verus/task/Cargo.nix b/crates/private/tests/root-task/verus/task/Cargo.nix
@@ -11,8 +11,10 @@ mk {
   dependencies = {
     inherit (localCrates)
       sel4
-      sel4-root-task
       tests-root-task-verus-core
     ;
+    sel4-root-task = localCrates.sel4-root-task // {
+      default-features = false;
+    };
   };
 }
diff --git a/crates/private/tests/root-task/verus/task/Cargo.toml b/crates/private/tests/root-task/verus/task/Cargo.toml
@@ -18,5 +18,5 @@ license = "BSD-2-Clause"
 
 [dependencies]
 sel4 = { path = "../../../../../sel4" }
-sel4-root-task = { path = "../../../../../sel4-root-task" }
+sel4-root-task = { path = "../../../../../sel4-root-task", default-features = false }
 tests-root-task-verus-core = { path = "../core" }
diff --git a/hacking/nix/scope/world/instances/verus.nix b/hacking/nix/scope/world/instances/verus.nix
@@ -25,7 +25,9 @@ mkInstance {
     rootCrate = crates.tests-root-task-verus-task;
     release = false;
 
-    verifyWithVerus = true;
+    extraProfile = {
+      panic = "abort";
+    };
 
     layers = [
       crateUtils.defaultIntermediateLayer
@@ -34,6 +36,8 @@ mkInstance {
         modifications = seL4Modifications;
       }
     ];
+
+    verifyWithVerus = true;
   };
 
   extraPlatformArgs = lib.optionalAttrs canSimulate  {