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
Alexander Arlt
aac7a1e434
Apply modernize-pass-by-value.
2020-04-14 10:32:13 -05:00
Alexander Arlt
90bb1d8a7c
Apply modernize-use-emplace.
2020-04-02 17:35:48 -05:00
Bhargava Shastry
9544df34d7
solc fuzzers: Use compiler stack for fuzzing
2020-03-20 10:50:26 +01:00
a3d4
f4d9f6772f
Unified use of settings. Removed a couple of unused functions.
2020-03-19 14:02:39 +01:00
a3d4
66783c30ce
Introduced TestCaseReader.
2020-03-16 23:14:33 +01:00
chriseth
8d2a9bf773
Merge pull request #8458 from a3d4/partfix-8244-introduced-testcase-shouldrun
...
Partial Fix #8244 : Introduced TestCase::shouldRun().
2020-03-09 18:35:12 +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
a3d4
29b770c434
Introduced TestCase::shouldRun().
2020-03-09 15:52:20 +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
chriseth
5de3379d82
Merge pull request #8238 from ethereum/yul-syntax-tests
...
Implement yul syntax tests
2020-02-05 15:15:41 +01:00
Mathias Baumann
fc10e701fc
Implement yul syntax tests
2020-02-05 14:58:34 +01:00
chriseth
48933df18d
Add some missing wasm functions.
2020-02-04 22:44:08 +01:00
chriseth
a7624ffc45
Implement i32 builtins for the interpreter.
2020-02-04 22:44:08 +01:00
cameel
5fbc4d4afa
[yulopti] Automate printing of the usage banner
...
- This now displays internal step names rather than human-readable ones but the internal ones are readable enough and it's not something worth creating another map.
- Options in the banner are now aligned in columns and thus easier to read.
2020-02-03 12:22:47 +01:00
cameel
4129c27495
[yulopti] Replace hard-coded step list with OptimiserSuite's maps
2020-02-03 12:22:47 +01:00
chriseth
2afcfec77b
Merge pull request #8220 from ethereum/remove-var-name-cleaner-from-optimiser-suite-step-list
...
Remove var name cleaner from optimiser suite step list
2020-01-30 17:58:43 +01:00
cameel
ed5210490d
[yulopti] Run disambiguator after VarNameCleaner
...
- This is a trivial change and it makes it safe to use in combination with other step.
2020-01-30 17:35:27 +01:00
chriseth
fbe5bb0cce
Parse default dialect and omit when printing.
2020-01-29 17:25:25 +01:00
