From 98666539064f5a9462c2205ae80a0354bc1b8375 Mon Sep 17 00:00:00 2001
From: xarantolus <xarantolus@protonmail.com>
Date: Sat, 4 Apr 2026 12:27:28 +0000
Subject: [PATCH] Kani: fix build environment

In the rewrite/scheduler branch, we set OSIRIS_STACKPAGES=1 in the cargo [env] section.

Since kani uses an older nightly version that does not support including config files, it does not pick up the action.

Let's put it into the justfile for now
---
 justfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/justfile b/justfile
index c1d3dd4..be7b367 100644
--- a/justfile
+++ b/justfile
@@ -16,7 +16,7 @@ fmt *args:
     cargo fmt {{args}}
 
 verify *args:
-    cargo kani -Z concrete-playback --concrete-playback=print -Z stubbing {{args}}
+    OSIRIS_STACKPAGES=1 cargo kani -Z concrete-playback --concrete-playback=print -Z stubbing {{args}}
 
 test *args:
     cargo test {{args}}