Directory listing for /task-12-independent-verification-r7/gateway/execution/8856bb634ae935b9be6c74b5c685a2171226e406f6f3c925ee8b367dff9e36ab/basetemp/

• test_typed_model_cheap_switche0/
• test_typed_model_cheap_switchecurrent@
• test_typed_model_expensive_can0/
• test_typed_model_expensive_cancurrent@
• test_typed_model_expensive_con0/
• test_typed_model_expensive_concurrent@
• test_typed_model_expensive_pro0/
• test_typed_model_expensive_procurrent@