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

• test_fault_results_are_exhaust0/
• test_fault_results_are_exhaustcurrent@
• test_sentinel_render_produces_0/
• test_sentinel_render_produces_current@