cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add tests for type(S).typehash

Browse Source
This commit is contained in:
Anton Bukov 2023-05-07 00:12:25 +03:00
parent 8c1a9af76a
commit cebf2d2ca7
1 changed files with 45 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
test/libsolidity/smtCheckerTests/types/type_typehash.sol Normal file
View File

@ -0,0 +1,45 @@
interface I1 {
}
contract C {
struct S1 {
uint256 x;
}
struct S2 {
uint256 x;
address y;
}
struct S3 {
uint256 x;
I1 y;
S2 third;
}
struct S4 {
S3 one;
S2 two;
}
struct S5 {
S2 two;
S1 one;
S3 three;
S4[5] four;
}
function f() public pure {
assert(type(S1).typehash == keccak256(bytes("S1(uint256 x)")));
assert(type(S2).typehash == keccak256(bytes("S2(uint256 x,address y)")));
assert(type(S3).typehash == keccak256(bytes("S3(uint256 x,address y,S2 third)S2(uint256 x,address y)")));
assert(type(S4).typehash == keccak256(bytes("S4(S3 one,S2 two)S2(uint256 x,address y)S3(uint256 x,address y,S2 third)")));
assert(type(S5).typehash == keccak256(bytes("S5(S2 two,S1 one,S3 three,S4[5] four)S1(uint256 x)S2(uint256 x,address y)S3(uint256 x,address y,S2 third)S4(S3 one,S2 two)")));
}
}
// ====
// SMTEngine: all
// ----
// Warning 6328: (416-468): CHC: Assertion violation happens here.
// Warning 6328: (503-555): CHC: Assertion violation happens here.
// Info 1391: CHC: 5 verification condition(s) proved safe! Enable the model checker option "show proved safe" to see all of them.