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