Skip to content

Improve value formal eq check error message#170

Merged
IgorDeepakM merged 1 commit into
masterfrom
improve_value_formal_check_message
May 4, 2026
Merged

Improve value formal eq check error message#170
IgorDeepakM merged 1 commit into
masterfrom
improve_value_formal_check_message

Conversation

@IgorDeepakM
Copy link
Copy Markdown
Owner

When a value formal argument equality check is postponed to the reach pass, improved the error message when it fails. Added information about the calculated values or if there was any failure to calculate the values.

When a value formal argument equality check is postponed to the
reach pass, improved the error message when it fails. Added
information about the calculated values or if there was any
failure to calculate the values.
@IgorDeepakM IgorDeepakM merged commit aec642d into master May 4, 2026
3 of 4 checks passed
@IgorDeepakM IgorDeepakM deleted the improve_value_formal_check_message branch May 12, 2026 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant