Skip to content

smite-ir: add SendShutdown operation - #162

Merged
morehouse merged 1 commit into
lnfuzz:masterfrom
ekzyis:op-sendshutdown
Jul 29, 2026
Merged

smite-ir: add SendShutdown operation#162
morehouse merged 1 commit into
lnfuzz:masterfrom
ekzyis:op-sendshutdown

Conversation

@ekzyis

Copy link
Copy Markdown
Contributor

This implements the SendShutdown operation for #98.

@ekzyisekzyis mentioned this pull request Jul 23, 2026
29 tasks
Comment threadsmite-scenarios/src/executor.rs
Comment threadsmite-scenarios/src/executor.rs Outdated

@erickcestarierickcestari left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

@ekzyisekzyis mentioned this pull request Jul 24, 2026
6 tasks
Comment threadsmite-ir/src/mutators/operation_param.rs Outdated
Comment threadsmite-ir/src/operation.rs Outdated
Comment threadsmite-ir/src/operation.rs Outdated
Comment threadsmite-ir/src/operation.rs Outdated
Comment threadsmite-ir/src/tests.rs
Comment threadsmite-scenarios/src/executor.rs Outdated
Comment threadsmite-scenarios/src/executor.rs Outdated
Comment threadsmite-scenarios/src/executor.rs Outdated
Comment threadsmite-scenarios/src/executor.rs
@ekzyis
ekzyisforce-pushed the op-sendshutdown branch 4 times, most recently from 0ac6049 to 82978d6CompareJuly 27, 2026 11:52
Comment threadsmite-scenarios/src/executor.rs Outdated
Comment threadsmite-scenarios/src/executor.rs Outdated
@ekzyis
ekzyisforce-pushed the op-sendshutdown branch 2 times, most recently from 7445ace to 5d0a3aeCompareJuly 28, 2026 14:16

@morehousemorehouse left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@morehouse
morehouse merged commit 97eb999 into lnfuzz:masterJul 29, 2026
5 checks passed
@ekzyis
ekzyis deleted the op-sendshutdown branch September 4, 2026 18:05
Sign up for freeto 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

@ekzyis@morehouse@erickcestari@NishantBansal2003