/test/prism/fixtures/3.4/

• ../
• circular_parameters.txt
• it.txt
• it_indirect_writes.txt
• it_read_and_assignment.txt