nix: Re-enable panicking tests

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Nov 14, 2024 · 273a635 · 273a635
1 parent d6d2b48
commit 273a635
Showing 1 changed file with 15 additions and 13 deletions.
diff --git a/hacking/nix/scope/world/instances/default.nix b/hacking/nix/scope/world/instances/default.nix
@@ -88,7 +88,7 @@ in rec {
     tests.root-task.config
     tests.root-task.tls
     tests.root-task.backtrace
-    # tests.root-task.panicking
+    tests.root-task.panicking
     tests.root-task.c
     tests.root-task.verus
     tests.root-task.dafny
@@ -192,19 +192,21 @@ in rec {
                 (_: allocFeatures:
                   lib.flip lib.mapAttrs profile
                     (_: release:
-                      maybe (haveFullRuntime && haveUnwindingSupport) (mkInstance {
-                        rootTask = mkTask {
-                          rootCrate = crates.tests-root-task-panicking;
-                          inherit release;
-                          features = allocFeatures ++ [ "panic-${panicStrategyName}" ];
-                          extraProfile = {
-                            panic = panicStrategyName;
+                      let
+                        isUnwind = panicStrategyName == "unwind";
+                      in
+                        maybe (haveFullRuntime && haveUnwindingSupport) (mkInstance {
+                          rootTask = mkTask {
+                            rootCrate = crates.tests-root-task-panicking;
+                            targetTriple = mkSeL4RustTargetTriple { unwind = isUnwind; };
+                            inherit release;
+                            features = allocFeatures ++ [ "panic-${panicStrategyName}" ];
                           };
-                        };
-                        extraPlatformArgs = lib.optionalAttrs canSimulate {
-                          canAutomateSimply = panicStrategyName == "unwind";
-                        };
-                }))));
+                          extraPlatformArgs = lib.optionalAttrs canSimulate {
+                            canAutomateSimply = isUnwind;
+                          };
+                        })
+                    )));
 
           paths = lib.mapCartesianProduct
             ({ panicStrategyName, allocName, profileName }: [ panicStrategyName allocName profileName ])