From 2e79534da551e93d3429bec86c52fe1e8f0c42c4 Mon Sep 17 00:00:00 2001
From: Alexander <awaghili@ucsc.edu>
Date: Tue, 8 Oct 2024 02:19:17 +0000
Subject: [PATCH] Added replacing script and admin_scripts dir

---
 .github/workflows/kani-workflow.yml        | 2 ++
 kani_test.sh => admin_scripts/kani_test.sh | 4 ++--
 admin_scripts/replace.sh                   | 5 +++++
 3 files changed, 9 insertions(+), 2 deletions(-)
 rename kani_test.sh => admin_scripts/kani_test.sh (84%)
 create mode 100755 admin_scripts/replace.sh

diff --git a/.github/workflows/kani-workflow.yml b/.github/workflows/kani-workflow.yml
index a1f514e7..7f79cba5 100644
--- a/.github/workflows/kani-workflow.yml
+++ b/.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:
diff --git a/kani_test.sh b/admin_scripts/kani_test.sh
similarity index 84%
rename from kani_test.sh
rename to admin_scripts/kani_test.sh
index 591ec9ee..88d7bdda 100755
--- a/kani_test.sh
+++ b/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
 
diff --git a/admin_scripts/replace.sh b/admin_scripts/replace.sh
new file mode 100755
index 00000000..dbfd98e4
--- /dev/null
+++ b/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
+