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

• test_candidate_config_and_rout0/
• test_candidate_config_and_routcurrent@
• test_concurrent_differing_pins0/
• test_concurrent_differing_pinscurrent@
• test_malformed_stored_slot_is_0/
• test_malformed_stored_slot_is_current@