Skip to content

minor naming changes#697

Merged
MathisGD merged 5 commits into
mainfrom
minor-naming
Apr 16, 2026
Merged

minor naming changes#697
MathisGD merged 5 commits into
mainfrom
minor-naming

Conversation

@MathisGD
Copy link
Copy Markdown
Contributor

No description provided.

@MathisGD MathisGD self-assigned this Apr 15, 2026
Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 74d1cfc4cb

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread certora/specs/Healthiness.spec
Comment thread certora/specs/NoDivisionByZero.spec
Copy link
Copy Markdown
Contributor

@adhusson adhusson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

could update data arg to ratifierData in TakeTest:RatifyCallback and in EcrecoverRatifier

@MathisGD MathisGD merged commit edd44de into main Apr 16, 2026
29 checks passed
@MathisGD MathisGD deleted the minor-naming branch April 16, 2026 14:17
peyha pushed a commit that referenced this pull request Apr 28, 2026
Co-authored-by: Adrien Husson <adhusson@gmail.com>
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.

4 participants