Changeset 597f284

Timestamp:

Jul 2, 2024, 6:23:34 PM (2 days 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:

• src/ResolvExpr/SatisfyAssertions.cpp (modified) (2 diffs)

src/ResolvExpr/SatisfyAssertions.cpp

@@ -9 +9 @@
 // Author           : Aaron B. Moss
 // Created On       : Mon Jun 10 17:45:00 2019
-// Last Modified By : Andrew Beach
-// Last Modified On : Tue Oct  1 13:56:00 2019
-// Update Count     : 2
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Tue Jul  2 18:15:51 2024
+// Update Count     : 5
 //
 
@@ -575 +575 @@
         // exceeded recursion limit if reaches here
         if ( out.empty() ) {
-                SemanticError( cand->expr->location, "Too many recursive assertions" );
+                SemanticError( cand->expr->location, "Too many recursive assertions, possible cause is circular relationship between a forall assertion and defined function prototype." );
         }
 }