Enable CI test

capablevms · Apr 9, 2024 · d27b093 · d27b093
1 parent d5bf99d
commit d27b093
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/run_tests.sh b/tests/run_tests.sh
@@ -88,6 +88,7 @@ elif [ "$1" = "morello-hybrid" ]; then
     run OK compare_platforms compare_platforms_overflow
     run OK hybrid/ddc_compartment_switching ddc_compartment_switching
     run OK hybrid basic_ddc
+    run OK hybrid threads_ddc
     run OK hybrid/compartment_examples/inter_comp_call/base main
     run OK hybrid/compartment_examples/inter_comp_call/malicious_compartments inter_comp_call-secure
     run OK syscall-restrict syscall-restrict