Skip to content

Conversation

@Youssef1313
Copy link
Member

@Youssef1313 Youssef1313 commented Aug 8, 2025

Related to #1285

Fixes #1154

@Youssef1313 Youssef1313 changed the base branch from main to rel/4.0 August 8, 2025 08:18
@Youssef1313 Youssef1313 changed the title Dev/ygerges/callerargexp [rel/4.0] Progress towards caller argument expression Aug 8, 2025
@Youssef1313 Youssef1313 marked this pull request as ready for review August 11, 2025 11:03
@Youssef1313 Youssef1313 enabled auto-merge (squash) August 11, 2025 15:50
@Youssef1313 Youssef1313 mentioned this pull request Aug 1, 2025
65 tasks
@Youssef1313 Youssef1313 linked an issue Aug 11, 2025 that may be closed by this pull request
@Youssef1313 Youssef1313 changed the title [rel/4.0] Progress towards caller argument expression [rel/4.0] Complete caller argument expression for all assertions Aug 11, 2025
@Youssef1313 Youssef1313 disabled auto-merge August 11, 2025 16:08
@Youssef1313 Youssef1313 enabled auto-merge (squash) August 11, 2025 16:08
@Youssef1313 Youssef1313 merged commit e8faa6a into rel/4.0 Aug 11, 2025
8 checks passed
@Youssef1313 Youssef1313 deleted the dev/ygerges/callerargexp branch August 11, 2025 16:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Openness for Caller Argument Expression in Assert failure messages

3 participants