Changeset 597f284


Ignore:
Timestamp:
Jul 2, 2024, 6:23:34 PM (3 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
6d2b3dc, 7fe4adbb
Parents:
062467b
Message:

update 'Too many recursive assertions' error message with possible cause

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ResolvExpr/SatisfyAssertions.cpp

    r062467b r597f284  
    99// Author           : Aaron B. Moss
    1010// Created On       : Mon Jun 10 17:45:00 2019
    11 // Last Modified By : Andrew Beach
    12 // Last Modified On : Tue Oct  1 13:56:00 2019
    13 // Update Count     : 2
     11// Last Modified By : Peter A. Buhr
     12// Last Modified On : Tue Jul  2 18:15:51 2024
     13// Update Count     : 5
    1414//
    1515
     
    575575        // exceeded recursion limit if reaches here
    576576        if ( out.empty() ) {
    577                 SemanticError( cand->expr->location, "Too many recursive assertions" );
     577                SemanticError( cand->expr->location, "Too many recursive assertions, possible cause is circular relationship between a forall assertion and defined function prototype." );
    578578        }
    579579}
Note: See TracChangeset for help on using the changeset viewer.