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

blishko merged 1 commit intodevelopargotorg/solidity:developfrom

smt-fix-string-to-bytes-conversion-with-custom-typesargotorg/solidity:smt-fix-string-to-bytes-conversion-with-custom-typesCopy head branch name to clipboard