markspanbroek
|
96aa98c734
|
[fuzzing] Use correct hashbang
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
f530bc5081
|
[fuzzing] Only use docker image on x86_64 machines
The echidna docker image does not support ARM
Macs, for example.
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
05ef48bf7f
|
[fuzzing] Add suggestions for a long test run
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
d4fc6bbf7c
|
[fuzzing] update to Echidna 2.2.0
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
42d4778dcc
|
[fuzzing] compile contracts before invoking docker
Ensures that `npm run fuzz` will succeed whether or
not the contracts were compiled beforehand.
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
c1b412c589
|
[fuzzing] allow fuzz.sh to be called from any directory
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
25f52c72b1
|
[ci] Run fuzzing in CI
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
3390e21071
|
[fuzzing] Enable fuzzing for Marketplace
Replaces runtime invariant checks with fuzzing tests,
simplifying the contract code and lowering gas costs.
|
2023-06-19 14:58:47 +02:00 |