diff --git a/artifacts/verification/FV-FALCON-BATTERY-002.yaml b/artifacts/verification/FV-FALCON-BATTERY-002.yaml
index 60dad8b..8b1e3a6 100644
--- a/artifacts/verification/FV-FALCON-BATTERY-002.yaml
+++ b/artifacts/verification/FV-FALCON-BATTERY-002.yaml
@@ -41,7 +41,8 @@ artifacts:
       steps:
         - run: cargo test -p relay-batt
         - run: cargo test -p relay-batt --release
-        - run: cargo test -p falcon-core
+        - run: cargo test -p falcon-core battery
+        - run: cargo test -p falcon-core sag_punch
         - run: cargo kani -p relay-batt
     links:
       - type: verifies
diff --git a/artifacts/verification/FV-FALCON-GNSS-002.yaml b/artifacts/verification/FV-FALCON-GNSS-002.yaml
index d122523..af9390f 100644
--- a/artifacts/verification/FV-FALCON-GNSS-002.yaml
+++ b/artifacts/verification/FV-FALCON-GNSS-002.yaml
@@ -35,7 +35,7 @@ artifacts:
       method: automated-test
       steps:
         - run: cargo test -p falcon-gnss-ubx
-        - run: cargo test -p falcon-core
+        - run: cargo test -p falcon-core gnss
         - run: cargo kani -p falcon-gnss-ubx
     links:
       - type: verifies
diff --git a/artifacts/verification/FV-FALCON-PART-001.yaml b/artifacts/verification/FV-FALCON-PART-001.yaml
index f579f79..91479e7 100644
--- a/artifacts/verification/FV-FALCON-PART-001.yaml
+++ b/artifacts/verification/FV-FALCON-PART-001.yaml
@@ -44,8 +44,8 @@ artifacts:
     fields:
       method: automated-test
       steps:
-        - run: cargo test -p falcon-core
-        - run: cargo test -p falcon-core --release
+        - run: cargo test -p falcon-core partitioned
+        - run: cargo test -p falcon-core --release partitioned
     links:
       - type: verifies
         target: SWREQ-FALCON-PART-P01
diff --git a/artifacts/verification/FV-FALCON-PREARM-003.yaml b/artifacts/verification/FV-FALCON-PREARM-003.yaml
index 8f1a896..174fda0 100644
--- a/artifacts/verification/FV-FALCON-PREARM-003.yaml
+++ b/artifacts/verification/FV-FALCON-PREARM-003.yaml
@@ -41,7 +41,7 @@ artifacts:
       steps:
         - run: cargo test -p relay-preflight
         - run: cargo test -p relay-preflight --release
-        - run: cargo test -p falcon-core
+        - run: cargo test -p falcon-core prearm
         - run: cargo kani -p relay-preflight
     links:
       - type: verifies
diff --git a/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml b/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml
index 088b868..adc1a2b 100644
--- a/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml
+++ b/artifacts/verification/FV-FALCON-RANGEDRV-001.yaml
@@ -44,7 +44,7 @@ artifacts:
       steps:
         - run: cargo test -p relay-flowrange
         - run: cargo test -p relay-flowrange --release
-        - run: cargo test -p falcon-core
+        - run: cargo test -p falcon-core range
         - run: cargo kani -p relay-flowrange
     links:
       - type: verifies