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

• test_model_global_persists_whe0/
• test_model_global_persists_whe1/
• test_model_global_persists_whe2/
• test_model_global_persists_whecurrent@
• test_model_no_flag_persists_by0/
• test_model_no_flag_persists_bycurrent@
• test_model_session_flag_does_n0/
• test_model_session_flag_does_ncurrent@