Update test system specs to be more relaxed, update docker timeout

auxoncorp · Feb 22, 2024 · b9a9af4 · b9a9af4
1 parent d323b78
commit b9a9af4
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 2 deletions.
diff --git a/.github/workflows/integration_tests.yml b/.github/workflows/integration_tests.yml
@@ -176,8 +176,9 @@ jobs:
           tarfile=trc_test_system_modality_data_${datetime}.tar.gz
           echo TARBALL_NAME=${tarfile} >> $GITHUB_ENV
 
-          docker container stop modalityd
+          time docker container stop -s SIGTERM -t 20 modalityd
           modality user auth-token > modalityd_data/user_auth_token
+          rm -rf modalityd_data/index_invalidation_events
           tar czvf ${tarfile} modalityd_data
 
       - name: Upload Modality data

diff --git a/test_system/scripts/run.sh b/test_system/scripts/run.sh
@@ -9,6 +9,6 @@ set -euo pipefail
 
 sleep 1
 
-modality internal sync-indices
+modality workspace sync-indices
 
 exit 0
diff --git a/test_system/specs/device.speqtr b/test_system/specs/device.speqtr
@@ -86,6 +86,20 @@ behavior "Control Cycle"
         TASK_ACTIVATE @ * (_.timeline.name = other_task.task AND _.priority > 2)
     end
 
+    recovery case "a higher priority context is activated"
+        adc
+            FOLLOWED BY
+        QUEUE_SEND @ Sensor (_.queue = "adc_queue")
+            FOLLOWED BY
+        TASK_READY @ Sensor (_.task = "Actuator")
+            FOLLOWED BY
+        TASK_ACTIVATE @ Actuator
+            FOLLOWED BY
+        TASK_READY @ Actuator (_.task != "Actuator") as other_task
+            FOLLOWED BY
+        TASK_ACTIVATE @ * (_.timeline.name = other_task.task AND _.priority > 2)
+    end
+
     nominal case "program execution follows the control cycle expectations"
         adc
             FOLLOWED BY
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,6 +9,6 @@ set -euo pipefail @@
     sleep 1
-    modality internal sync-indices
+    modality workspace sync-indices
     exit 0