edit workflow file to match files

Author: Modertool999

.github/workflows/memory.yml

@@ -6,26 +6,36 @@ on:
 jobs:
   memory:
     runs-on: ubuntu-24.04
+    env:
+      BENCHMARK_FILE: tests/inputs/function_exactly_two_of_four.aag
 
     steps:
       - name: Checkout
         uses: actions/checkout@v6
 
+      - name: Install Rust toolchain
+        uses: dtolnay/rust-toolchain@nightly
+
       - name: Install Valgrind
         run: |
           sudo apt-get update
           sudo apt-get install -y valgrind
 
-      - name: Build
-        run: cargo build --release --examples
+      - name: Build memory benchmarks
+        run: |
+          mkdir -p examples
+          cp benchmark/memory/memory_raig.rs examples/memory_raig.rs
+          cp benchmark/memory/memory_mutaig.rs examples/memory_mutaig.rs
+          cp benchmark/memory/memory_aig_rs.rs examples/memory_aig_rs.rs
+          cargo build --release --examples
 
       - name: Profile raig
         run: |
           valgrind \
             --tool=massif \
             --time-unit=B \
             --massif-out-file=massif-raig.out \
-            ./target/release/examples/memory_raig tests/benchmark.aig
+            ./target/release/examples/memory_raig "$BENCHMARK_FILE"
 
           ms_print massif-raig.out > massif-raig.txt
 
@@ -35,7 +45,7 @@ jobs:
             --tool=massif \
             --time-unit=B \
             --massif-out-file=massif-mutaig.out \
-            ./target/release/examples/memory_mutaig tests/benchmark.aig
+            ./target/release/examples/memory_mutaig "$BENCHMARK_FILE"
 
           ms_print massif-mutaig.out > massif-mutaig.txt
 
@@ -45,7 +55,7 @@ jobs:
             --tool=massif \
             --time-unit=B \
             --massif-out-file=massif-aig-rs.out \
-            ./target/release/examples/memory_aig_rs tests/benchmark.aig
+            ./target/release/examples/memory_aig_rs "$BENCHMARK_FILE"
 
           ms_print massif-aig-rs.out > massif-aig-rs.txt
 
@@ -55,4 +65,4 @@ jobs:
           name: memory-profiles
           path: |
             massif-*.out
-            massif-*.txt
+            massif-*.txt