diff options
| author |  akashlal <unknown> | 2014-01-07 13:49:03 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2014-01-07 13:49:03 +0530 |
| commit | bf5b5541b382e00486a3c4e04023f047d472017a (patch) | |
| tree | d70b1678631d715df789f1ff965b89035e46ad09 /Test/stratifiedinline | |
| parent | 0ef68160d1c969c866f8ada83f35bb43f7faa188 (diff) | |
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)
Diffstat (limited to 'Test/stratifiedinline')
| -rw-r--r-- | Test/stratifiedinline/Answer | 4 | ||||
| -rw-r--r-- | Test/stratifiedinline/runtest.bat | 3 |
2 files changed, 7 insertions, 0 deletions
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 -----
|