Skip to content

SMTChecker: Fix string literal to fixed bytes conversion with user-defined type#15963

Merged
blishko merged 1 commit intodevelopfrom
smt-fix-string-to-bytes-conversion-with-custom-types
Mar 21, 2025
Merged

SMTChecker: Fix string literal to fixed bytes conversion with user-defined type#15963
blishko merged 1 commit intodevelopfrom
smt-fix-string-to-bytes-conversion-with-custom-types

Conversation

@blishko
Copy link
Copy Markdown
Contributor

@blishko blishko commented Mar 21, 2025

Fixes #15888.

@blishko blishko added smt 🟡 PR review label labels Mar 21, 2025
Comment thread libsolidity/formal/SMTEncoder.cpp Outdated
@blishko blishko force-pushed the smt-fix-string-to-bytes-conversion-with-custom-types branch from 0070359 to dd03613 Compare March 21, 2025 12:27
@blishko blishko enabled auto-merge March 21, 2025 12:46
@blishko blishko merged commit d07c219 into develop Mar 21, 2025
@blishko blishko deleted the smt-fix-string-to-bytes-conversion-with-custom-types branch March 21, 2025 13:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

smt 🟡 PR review label

Projects

None yet

Development

Successfully merging this pull request may close these issues.

SMT logic error from incorrect handling of fixed bytes to user defined value type conversion

2 participants