Directory listing for /task-12-independent-verification-r8/gateway/basetemp/8856bb634a/

• 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@