Changeset 597f284
- Timestamp:
- Jul 2, 2024, 6:23:34 PM (3 months ago)
- Branches:
- master
- Children:
- 6d2b3dc, 7fe4adbb
- Parents:
- 062467b
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ResolvExpr/SatisfyAssertions.cpp
r062467b r597f284 9 9 // Author : Aaron B. Moss 10 10 // Created On : Mon Jun 10 17:45:00 2019 11 // Last Modified By : Andrew Beach12 // Last Modified On : Tue Oct 1 13:56:00 201913 // Update Count : 211 // Last Modified By : Peter A. Buhr 12 // Last Modified On : Tue Jul 2 18:15:51 2024 13 // Update Count : 5 14 14 // 15 15 … … 575 575 // exceeded recursion limit if reaches here 576 576 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." ); 578 578 } 579 579 }
Note: See TracChangeset
for help on using the changeset viewer.