From feeca51eca5daf1025a3e941887725a7060d1265 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Fri, 1 Apr 2016 14:58:14 -0700
Subject: New test file, for recursive and iterative versions of McCarthy's 91
 function

---
 Test/dafny4/McCarthy91.dfy.expect | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 Test/dafny4/McCarthy91.dfy.expect

(limited to 'Test/dafny4/McCarthy91.dfy.expect')

diff --git a/Test/dafny4/McCarthy91.dfy.expect b/Test/dafny4/McCarthy91.dfy.expect
new file mode 100644
index 00000000..bbc91c35
--- /dev/null
+++ b/Test/dafny4/McCarthy91.dfy.expect
@@ -0,0 +1,25 @@
+
+Dafny program verifier finished with 8 verified, 0 errors
+Program compiled successfully
+Running...
+
+M(3) = 91
+M(99) = 91
+M(100) = 91
+M(101) = 91
+M(1013) = 1003
+mc91(3) = 91
+mc91(99) = 91
+mc91(100) = 91
+mc91(101) = 91
+mc91(1013) = 1003
+Mc91(3) = 91
+Mc91(99) = 91
+Mc91(100) = 91
+Mc91(101) = 91
+Mc91(1013) = 1003
+iter(0, mc91, 40) = 40
+iter(1, mc91, 40) = 91
+iter(2, mc91, 40) = 91
+iter(3, mc91, 40) = 91
+iter(4, mc91, 40) = 91
-- 
cgit v1.2.3