/Test/dafny0/snapshots/

• ../
• Inputs
• Snapshots0.run.dfy
• Snapshots0.run.dfy.expect
• Snapshots1.run.dfy
• Snapshots1.run.dfy.expect
• Snapshots2.run.dfy
• Snapshots2.run.dfy.expect
• Snapshots3.run.dfy
• Snapshots3.run.dfy.expect
• Snapshots4.run.dfy
• Snapshots4.run.dfy.expect
• Snapshots5.run.dfy
• Snapshots5.run.dfy.expect
• Snapshots6.run.dfy
• Snapshots6.run.dfy.expect
• Snapshots7.run.dfy
• Snapshots7.run.dfy.expect
• Snapshots8.run.dfy
• Snapshots8.run.dfy.expect