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

Fix test expected error

Browse Source
This commit is contained in:
Anton Bukov 2023-05-07 00:23:22 +03:00
parent cebf2d2ca7
commit 9e397f90ad
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/libsolidity/smtCheckerTests/types/type_typehash.sol
View File

@ -40,6 +40,8 @@ contract C {
// ==== // ====
// SMTEngine: all // SMTEngine: all
// ---- // ----
// Warning 6328: (416-468): CHC: Assertion violation happens here. // Warning 6328: (386-448): CHC: Assertion violation happens here.
// Warning 6328: (503-555): CHC: Assertion violation happens here. // Warning 6328: (452-524): 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. // Warning 6328: (528-632): CHC: Assertion violation happens here.
// Warning 6328: (642-763): CHC: Assertion violation happens here.
// Warning 6328: (773-944): CHC: Assertion violation happens here.

2
test/libsolidity/syntaxTests/metaTypes/unsupported_arg_for_type.sol
View File

@ -5,4 +5,4 @@ contract Test {
} }
} }
// ---- // ----
// TypeError 4259: (154-155): Invalid type for argument in the function call. An enum type, contract type, struct type or an integer type is required, but type(struct Test.S storage pointer) provided. // TypeError 4259: (129-136): Invalid type for argument in the function call. An enum type, contract type, struct type or an integer type is required, but type(bytes32) provided.