From c5b2aec063fc1f3d5e61ff1b14983c5e4ba7c2ea Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 1 Jul 2014 00:55:31 +0200
Subject: Added support for verifying Dafny program snapshots from the
 command-line.

---
 Test/dafny0/snapshots/Snapshots0.v0.dfy | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 Test/dafny0/snapshots/Snapshots0.v0.dfy

(limited to 'Test/dafny0/snapshots/Snapshots0.v0.dfy')

diff --git a/Test/dafny0/snapshots/Snapshots0.v0.dfy b/Test/dafny0/snapshots/Snapshots0.v0.dfy
new file mode 100644
index 00000000..73db9f9c
--- /dev/null
+++ b/Test/dafny0/snapshots/Snapshots0.v0.dfy
@@ -0,0 +1,8 @@
+method foo()
+{
+  bar();
+  assert false;
+}
+
+method bar()
+  ensures false;
-- 
cgit v1.2.3