Commit Graph

137 Commits

Author SHA1 Message Date
Bhargava Shastry
537e5b8e6c Generate multiple contract tests per iteration and minor cleanup 2020-04-16 19:06:16 +02:00
Bhargava Shastry
b2c624bf9c Expose base functions for testing even if they hide beneath abstract contract 2020-04-16 13:28:17 +02:00
Bhargava Shastry
7ac8731f47 Merge at least one implemented function in a 2-way merge with an implementation (take 2) 2020-04-16 12:15:03 +02:00
Bhargava Shastry
b38ed7781d Merge at least one implemented function in a 2-way merge with an implementation 2020-04-16 11:25:33 +02:00
Bhargava Shastry
eb3672b522 Bail out when faced with merge involving an implemented contract function with an unimplemented one 2020-04-16 10:46:38 +02:00
Bhargava Shastry
7aa305b487 Retain visibility while merging 2020-04-16 01:59:37 +02:00
Bhargava Shastry
c4b0103dee Call functions only if public/external 2020-04-16 01:44:35 +02:00
Bhargava Shastry
de6095098f Trial contract inheritance test case gen 2020-04-16 01:02:48 +02:00
Bhargava Shastry
4e479518e1 Disable differential fuzzing setup since it is now redundant 2020-04-16 01:02:48 +02:00
Bhargava Shastry
391dbe97d5 WIP 2020-04-16 01:02:48 +02:00
Bhargava Shastry
92590a13f8 WIP 2020-04-16 01:02:48 +02:00
Bhargava Shastry
d07dbdb333 Fix bug in how diamond case is handled 2020-04-16 01:02:48 +02:00
Bhargava Shastry
02b51a133a Second attempt at getting inheritance right 2020-04-16 01:02:48 +02:00
Bhargava Shastry
af64f1de61 Debug info and some fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
efc7198efb Add overridden functions to contract function map 2020-04-16 01:02:48 +02:00
Bhargava Shastry
85b67eba85 Change function numbering 2020-04-16 01:02:48 +02:00
Bhargava Shastry
6b7a279c01 More bug fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
7a12fc9849 More fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
cc3acf39d7 Fixed diamond inheritance bug for interface inheritance case 2020-04-16 01:02:48 +02:00
Bhargava Shastry
01c1adf2a4 Fixed diamond inheritance bug and other minor fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
1b4bdb1996 More clean up and bug fixes 2020-04-16 01:02:48 +02:00
Bhargava Shastry
89b5ac510b Added prelim support for contract inheritance tests and cleaned up proto converter 2020-04-16 01:02:48 +02:00
Bhargava Shastry
f63552f4ca Added some more contract processing code 2020-04-16 01:02:48 +02:00
Bhargava Shastry
515939670d Made proto spec a bit leaner and started work on contracts 2020-04-16 01:02:48 +02:00
Bhargava Shastry
3ef6e09258 Clean up interface inheritance code 2020-04-16 01:02:48 +02:00
Bhargava Shastry
91786d02b6 CMakeLists adapted 2020-04-16 01:02:48 +02:00
Bhargava Shastry
8973ca3c85 Add adaptor and support library and interface inheritance 2020-04-16 01:02:48 +02:00
Bhargava Shastry
1d533694e5 Add solidity protobuf based inheritance fuzzer 2020-04-16 01:02:48 +02:00
Bhargava Shastry
9544df34d7 solc fuzzers: Use compiler stack for fuzzing 2020-03-20 10:50:26 +01:00
Leonardo
3896aa75cc
Merge pull request #8426 from ethereum/fix-7948
ossfuzz: Update README.md with steps to build fuzzers via docker
2020-03-09 16:41:10 +01:00
Bhargava Shastry
2153a1ef1d Update test/tools/ossfuzz/README.md
Address review comments
2020-03-09 10:38:19 +01:00
Bhargava Shastry
7483c6f13e ossfuzz: Update README.md with steps to build fuzzers via docker 2020-03-05 10:43:31 +01:00
Bhargava Shastry
ed02aae1d9 Update solidity fuzzing dictionary with >0.6.0 keywords 2020-02-28 15:46:21 +01:00
Bhargava Shastry
79f1917422 yul proto fuzzer: Refactor dataoffset/size specification 2020-02-11 13:58:36 +05:30
Bhargava Shastry
59e7206c8f yul proto fuzzer: Support boolean literal generation 2020-02-10 20:48:29 +05:30
Bhargava Shastry
8cbe1d4b1d yul proto fuzzer: Make function call generation optional 2020-01-24 12:31:43 +05:30
Bhargava Shastry
a335fed189 yul proto fuzzer: Add EVM version field 2020-01-24 12:31:20 +05:30
Bhargava Shastry
9befb4bdf0 yul proto fuzzer: Do not generate infinite for loops and limit total
number of for loops per test program to two
2020-01-20 16:27:01 +05:30
Bhargava Shastry
49a05b5935 Permit variable declarations inside for init block 2020-01-13 16:17:33 +05:30
Daniel Kirchner
be0775da49
Merge pull request #8075 from ethereum/refactor-namespaces
Refactor namespaces
2020-01-07 16:52:20 +01:00
Mathias L. Baumann
a2141d3be2
Merge pull request #7869 from fulldecent/fix-kill
Reduce usage of word kill
2020-01-07 16:01:04 +01:00
Christian Parpart
345f9928ab Library libdevcore renamed to libsolutil. 2020-01-07 15:51:50 +01:00
Christian Parpart
ed45b000d1 Adapt tests directory to C++ namespace changes. 2020-01-07 15:51:50 +01:00
Christian Parpart
6b23412fae C++ namespace cleanup (except tests). 2020-01-07 15:51:50 +01:00
William Entriken
6d068b6331 Reduce usage of the word "kill" 2020-01-07 11:18:10 +01:00
Bhargava Shastry
49aec64caf abiv2 proto converter: Do not resize dynamic storage arrays by writing to the length field as it is now read only 2020-01-06 17:44:42 +01:00
Bhargava Shastry
f5bd483dfa yul proto fuzzer: Target default evm version 2019-12-11 16:52:00 +01:00
chriseth
1ebcc757e1 Merge remote-tracking branch 'origin/develop' into develop_060 2019-11-27 19:14:08 +01:00
Paweł Bylica
38a20190f4
test: Use evmc::VM directly
The evmc::VM works as a RAII wrapper similarly to unique_ptr, so there is no point in using additional unique_ptr.
2019-11-27 18:53:02 +01:00
Bhargava Shastry
ea9e849ee4 Use pointer to string for efficiency 2019-11-26 17:12:56 +01:00