mark Int2Bytes(Int,Endianness,Signedness) rules as preserving definedness#4522

Merged

rv-jenkins merged 2 commits intodevelopfrom HOTFIX-add-definedness-annotation-to-Int2Byte-conversions

Jul 16, 2024

+3-3

Commits on Jul 16, 2024