Commit Graph

4465 Commits

Author SHA1 Message Date
wechman
c89eecf52b Update tests after code review 2022-09-28 13:07:58 +02:00
wechman
9e1ba093d5 Minor changes after code review 2022-09-28 13:07:58 +02:00
wechman
6fcd717ab4 More descriptive error message in TypeChecker::visit(UnaryOperation) 2022-09-28 13:06:25 +02:00
wechman
e001f8346b Update message of TypeError 5172 2022-09-28 13:06:25 +02:00
wechman
c6ad99c3b1 Add FunctionCallGraph unit tests for user defined operators 2022-09-28 13:06:25 +02:00
wechman
fee6b5f96c Type::userDefinedOperator takes return parameters into account 2022-09-28 13:06:25 +02:00
wechman
e8243d49bc Library function can be used as user operator 2022-09-28 13:06:25 +02:00
wechman
7d12eb5745 Add user operator test cases 2022-09-28 13:06:25 +02:00
wechman
3be5114fb0 Update code to review comments 2022-09-28 13:06:25 +02:00
wechman
c1dc8df9c9 Adjust code to review findings 2022-09-28 13:06:25 +02:00
wechman
a8bf1f255d Adjust code to review findings 2022-09-28 13:06:25 +02:00
wechman
1084a34f28 Add control flow tests for "and" and "or" operators 2022-09-28 13:06:25 +02:00
wechman
43a612e420 Fix control flow check for unary operators 2022-09-28 13:06:20 +02:00
wechman
6c4325ca03 Add tests for ViewPureChecker with custom operators 2022-09-28 12:10:27 +02:00
wechman
545013898e Remove duplicated test 2022-09-28 12:10:27 +02:00
wechman
c7d41fd595 Update tests after error handling adjustment 2022-09-28 12:10:27 +02:00
wechman
8307b670cb Handle not unique operators for user-defined type. 2022-09-28 12:10:27 +02:00
wechman
8272da0aea Add test: operator_parameter_with_wrong_data_location 2022-09-28 12:10:27 +02:00
wechman
beae1e6263 Disallow overriding operators for enums 2022-09-28 12:10:27 +02:00
wechman
c274d07a73 Remove out of date TODOs 2022-09-28 12:05:41 +02:00
wechman
dd251379e7 Update multiple_custom_operators_same_contract 2022-09-28 12:05:41 +02:00
wechman
7fedb63dd3 Adjust type checking 2022-09-28 12:05:41 +02:00
wechman
56bcb525bc Unary operators with using for directive fix 2022-09-28 12:05:41 +02:00
wechman
6482f5bb17 Use user defined function return type as user defined operator type 2022-09-28 11:32:03 +02:00
Matheus Aguiar
58d19a51c6 Added few tests. 2022-09-28 11:32:03 +02:00
chriseth
3bd047f188 Using for for operators. 2022-09-28 11:32:03 +02:00
Alex Beregszaszi
0357cedb5c Update tests and include new for create/create2 calculation 2022-09-27 22:31:46 +02:00
Alex Beregszaszi
725253551e Improve FunctionSelector helpers 2022-09-27 17:58:32 +02:00
nishant-sachdeva
c8011d8719 Cleaning up helpers around errors 2022-09-19 10:51:14 +05:30
Daniel Kirchner
1fbee8259a
Merge pull request #13464 from ethereum/copying_reference_types
Add tests for copying reference types between data locations
2022-09-15 15:44:38 +02:00
Nikola Matic
12ea1158bf Remove std qualifier from string in Metadata tests 2022-09-14 09:12:03 +02:00
Nikola Matic
e37dc8e975 Address review comments 2022-09-13 17:23:31 +02:00
Nikola Matic
feba1bfeff Rework metadata and cover with tests 2022-09-12 11:13:49 +02:00
Nikola Matic
314a1cc92f Command line tests and minor touch ups 2022-09-12 11:13:49 +02:00
wechman
0eae9e70ff Tests for copying structs between data locations 2022-09-09 09:58:41 +02:00
wechman
dfe8fce369 Tests for copying nested array of structs between data locations 2022-09-09 09:42:40 +02:00
wechman
c4d97120bd Add test for copying elements of nested storage array 2022-09-09 09:42:40 +02:00
Daniel Kirchner
a33da17300 Bugfix and tests.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-09-08 11:54:14 +02:00
wechman
0262621b9f fixup! Add test for copying reference types between data locations 2022-09-07 10:45:53 +02:00
wechman
c5d8c5ad05 Add test for copying reference types between data locations 2022-09-07 10:45:53 +02:00
Damian Wechman
6b99162457
Merge pull request #13406 from ethereum/slot_on_reference_fix
Fix `.slot` accessing via mapping reference in assembly
2022-09-05 14:00:18 +02:00
Leo
e048ba4d75
Merge pull request #13439 from ethereum/z3_4_8_11_smt_tests
Update SMT tests with z3 4.11.0
2022-08-30 12:51:13 +02:00
Leo Alt
16c0838f75 Update docker images and tests 2022-08-30 11:51:59 +02:00
Marenz
f7cc29bec1 Add std:: qualifier to move() calls 2022-08-30 11:12:15 +02:00
Christian Parpart
d31e4dcc0a lsp: Finishing last missing test wrt complex nested project directory structure and specifying custom includes, while using some (one) of them. 2022-08-22 12:49:06 +02:00
Christian Parpart
122fbc6ff7 Adds include-paths-nested test case. 2022-08-22 12:49:06 +02:00
Christian Parpart
b6ba43234e lsp: Always load all solidity files from project for analyzing.
Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>
2022-08-22 12:49:04 +02:00
Mathias L. Baumann
a3de6cd60e
Merge pull request #12762 from ethereum/emptyReturnRevert
Optimize ``return(x,0) -> pop(x) return(0,0)`` (and also for ``revert``).
2022-08-22 12:42:48 +02:00
Marenz
1b5332c2b9 Fix spelling mistakes and CI spellcheck job 2022-08-18 14:38:19 +02:00
wechman
cf3bae0839 Fix "slot" access via mapping reference in assembly 2022-08-17 07:53:52 +02:00