From 0699647f477f0cbe83daffdbc1b5009a6f34cb64 Mon Sep 17 00:00:00 2001
From: Bryan Parno <parno@microsoft.com>
Date: Tue, 28 Oct 2014 16:48:55 -0700
Subject: Create large stack in DafnyDriver.cs, before calling main, just in
 case Boogie needs more room

---
 Source/DafnyDriver/DafnyDriver.cs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'Source/DafnyDriver')

diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs
index 8046a7ac..2bda7cf0 100644
--- a/Source/DafnyDriver/DafnyDriver.cs
+++ b/Source/DafnyDriver/DafnyDriver.cs
@@ -25,6 +25,18 @@ namespace Microsoft.Dafny
 
 
     public static int Main(string[] args)
+    {
+      int ret = 0;
+      var thread = new System.Threading.Thread(
+        new System.Threading.ThreadStart(() =>
+          { ret = ThreadMain(args); }),
+          0x10000000); // 256MB stack size to prevent stack overflow
+      thread.Start();
+      thread.Join();
+      return ret;
+    }
+
+    public static int ThreadMain(string[] args)
     {
       Contract.Requires(cce.NonNullElements(args));
 
-- 
cgit v1.2.3