Changeset 1958fec


Ignore:
Timestamp:
Dec 31, 2020, 5:29:16 PM (4 years ago)
Author:
Fangren Yu <f37yu@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
Children:
95eec2c
Parents:
09da82d
Message:

increase recursive assertion depth limit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/SatisfyAssertions.cpp

    r09da82d r1958fec  
    385385
    386386        /// Limit to depth of recursion of assertion satisfaction
    387         static const int recursionLimit = 4;
     387        static const int recursionLimit = 8;
    388388        /// Maximum number of simultaneously-deferred assertions to attempt concurrent satisfaction of
    389389        static const int deferLimit = 10;
Note: See TracChangeset for help on using the changeset viewer.