diff --git a/tests/run_tests.sh b/tests/run_tests.sh index 049f1d2..e75251c 100755 --- 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