solidity/test/libsolidity/smtCheckerTests/operators/bitwise_not_fixed_bytes.sol

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
pragma experimental SMTChecker;
contract C {
  function f() public pure returns (byte) {
    return (~byte(0xFF));
  }
}
// ----
[SMTChecker] Support bitwise or, xor and not. 2020-08-23 19:21:45 +00:00			`pragma experimental SMTChecker;`
			`contract C {`
			`function f() public pure returns (byte) {`
			`return (~byte(0xFF));`
			`}`
			`}`
			`// ----`