From bf5b5541b382e00486a3c4e04023f047d472017a Mon Sep 17 00:00:00 2001
From: akashlal <unknown>
Date: Tue, 7 Jan 2014 13:49:03 +0530
Subject: Recursive walking of Exprs doesn't play nice when the depth of the
 AST is high. Reduce depth of AST whenever possible (e.g., use a binary tree
 instead of a linear list of terms)

---
 Test/stratifiedinline/Answer      | 4 ++++
 Test/stratifiedinline/runtest.bat | 3 +++
 2 files changed, 7 insertions(+)

(limited to 'Test')

diff --git a/Test/stratifiedinline/Answer b/Test/stratifiedinline/Answer
index bed39837..27d2be6b 100644
--- a/Test/stratifiedinline/Answer
+++ b/Test/stratifiedinline/Answer
@@ -513,3 +513,7 @@ Boogie program verifier finished with 0 verified, 1 error
 
 Boogie program verifier finished with 1 verified, 0 errors
 -----
+----- Running regression test large.bpl to test for StackOverflowException
+
+Boogie program verifier finished with 1 verified, 0 errors
+-----
diff --git a/Test/stratifiedinline/runtest.bat b/Test/stratifiedinline/runtest.bat
index eb5ff634..5e0ab83f 100644
--- a/Test/stratifiedinline/runtest.bat
+++ b/Test/stratifiedinline/runtest.bat
@@ -40,4 +40,7 @@ echo -----
 echo ----- Running regression test bar13.bpl
 %BGEXE% %* /stratifiedInline:1 /vc:i bar13.bpl
 echo -----
+echo ----- Running regression test large.bpl to test for StackOverflowException
+%BGEXE% %* /stratifiedInline:1 /vc:i large.bpl
+echo -----
 
-- 
cgit v1.2.3