Snapshots5.run.dfy « snapshots « dafny0 « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/dafny0/snapshots/Snapshots5.run.dfy

blob: 096df53c435204aef59f8d72cbb8b1713948eee1 (plain)

1 2	`// RUN: %dafny /compile:0 /verifySnapshots:2 /traceCaching:1 "%S/Inputs/Snapshots5.dfy" /autoTriggers:1 > "%t" // RUN: %diff "%s.expect" "%t"`