Skip to content

feat: add DeleteEmitExpression mutation#47

Open
emo-eth wants to merge 1 commit into
Certora:masterfrom
emo-eth:delete-emit-mutation
Open

feat: add DeleteEmitExpression mutation#47
emo-eth wants to merge 1 commit into
Certora:masterfrom
emo-eth:delete-emit-mutation

Conversation

@emo-eth

@emo-eth emo-eth commented Jul 2, 2025

Copy link
Copy Markdown

I've added a DeleteEmitExpression to make sure emits are captured in tests. I updated the regression tests and generated mutants so the change appears large, but it's pretty simple.

Let me know if you need me to tweak anything else.

Future work: would be nice to mess with the arguments passed to the emit to make sure emitted values are also tested

@emo-eth emo-eth closed this Jun 2, 2026
@emo-eth emo-eth reopened this Jun 2, 2026
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