search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

"hex" literals are not handled #236

Open ellab123 opened 4 years ago

ellab123 commented 4 years ago

Constant the "hex" prefix has a wrong int value in .bpl file, for example:

bytes1 public data1 = 0x33; bytes1 public d1 = hex"33";

Assigned values in .bpl file: data1_Bytes[this] := 51; //correct d1_Bytes[this] := -1549580528; //wrong

shuvendu-lahiri commented 4 years ago

test is present in comments in BytesTypes.sol by Ella