runtest.snapshot « snapshots « dafny0 « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/dafny0/snapshots/runtest.snapshot

blob: 6d2f880ffffdd13456c41c544d69ff684240797b (plain)

1 2	`// RUN: %dafny /compile:0 /verifySnapshots:2 /verifySeparately Snapshots0.dfy > "%t" // RUN: %diff "%s.expect" "%t"`