/test/libsolidity/smtCheckerTests/typecast/

• ../
• cast_address_1.sol
• cast_different_size_1.sol
• cast_larger_1.sol
• cast_larger_2.sol
• cast_larger_2_fail.sol
• cast_larger_3.sol
• cast_smaller_1.sol
• cast_smaller_2.sol
• cast_smaller_3.sol