sol2ligo
sol2ligo copied to clipboard
Address <-> number interaction tests
Solidity allows convert address to number and other direction. We need write as many tests as possible for different cases of usage that conversion
- Fn_call with mismatching type
- Assignment
- Bin_op
- Var_decl + assign value See #135 for supported cases