Directory listing for /task-12-independent-verification-r7/todo5-isolation/

• r10-allocation/
• r11-close/
• report.json