Added replacing script and admin_scripts dir

.github/workflows/kani-workflow.yml

@@ -23,6 +23,8 @@ jobs:
     - uses: actions/checkout@v2
       with:
         submodules: recursive
+    - name: Run replace script
+      run: ./admin_scripts/replace.sh
     - name: Install latest nightly
       uses: actions-rs/toolchain@v1
       with:

kani_test.sh → admin_scripts/kani_test.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
-cd ../kani
+cd ~/kani 
 cargo build-dev
-cd ../twizzler
+cd ~/twizzler
 ../kani/scripts/cargo-kani --workspace --exclude monitor -Z stubbing -Z unstable-options --output-into-files
 

admin_scripts/replace.sh

@@ -0,0 +1,5 @@
+#!/bin/bash
+
+# Replace 'input_file.txt' with your actual file name
+sed -i '/const _SIZE_CHECKER: \[u8; 0x1000\]/s/0x1000/4112/' ../src/lib/nvme-rs/src/ds/identify/controller.rs
+