Ignore:
Timestamp:
Dec 12, 2019, 10:04:08 AM (2 years ago)
Author:
Dmitry Kobets <dkobets@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast-unique-expr
Children:
2fa5bd2
Parents:
3376ec9
Message:

Increase trait recursion limit

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/ResolveAssertions.cc

    r3376ec9 raca6a54c  
    390390
    391391        /// Limit to depth of recursion of assertion satisfaction
    392         static const int recursionLimit = 4;
     392        static const int recursionLimit = 7;
    393393        /// Maximum number of simultaneously-deferred assertions to attempt concurrent satisfaction of
    394394        static const int deferLimit = 10;
Note: See TracChangeset for help on using the changeset viewer.