Increase unrollStmts, bug247, due to unreleased change.

This commit is contained in:
Wilson Snyder 2010-04-19 13:59:15 -04:00
parent 4b499f2bb1
commit 68b63d5783
1 changed files with 1 additions and 1 deletions

View File

@ -1023,7 +1023,7 @@ V3Options::V3Options() {
m_outputSplitCTrace = 0; m_outputSplitCTrace = 0;
m_traceDepth = 0; m_traceDepth = 0;
m_unrollCount = 64; m_unrollCount = 64;
m_unrollStmts = 10000; m_unrollStmts = 30000;
m_compLimitParens = 0; m_compLimitParens = 0;
m_compLimitBlocks = 0; m_compLimitBlocks = 0;