Skip to content

klee,s2e: refactored state management#113

Merged
vitalych merged 3 commits intomasterfrom
issue/xxx-ref6
Feb 1, 2026
Merged

klee,s2e: refactored state management#113
vitalych merged 3 commits intomasterfrom
issue/xxx-ref6

Conversation

@vitalych
Copy link
Member

@vitalych vitalych commented Feb 1, 2026

No description provided.

Not used by any plugin and incorrect implementation.
The state might get destroyed automatically (smart pointers).

Signed-off-by: Vitaly Chipounov <vitaly@chipounov.fr>
Signed-off-by: Vitaly Chipounov <vitaly@chipounov.fr>
Signed-off-by: Vitaly Chipounov <vitaly@chipounov.fr>
@vitalych vitalych merged commit f9efcb4 into master Feb 1, 2026
4 checks passed
@vitalych vitalych deleted the issue/xxx-ref6 branch February 1, 2026 11:39
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