Conversation
🦋 Changeset detectedLatest commit: 5299f0d The changes in this PR will be included in the next version bump. This PR includes changesets to release 6 packages
Not sure what this means? Click here to learn what changesets are. Click here if you're a maintainer who wants to add another changeset to this PR |
github-actions
bot
added
2-reviewers
A-pkg-contracts-bedrock
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
4 times, most recently
from
d347a21 to
84b00a8
Compare
maurelian
commented
Nov 10, 2022
maurelian
commented
Nov 10, 2022
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
9 times, most recently
from
d240258 to
aa18632
Compare
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
3 times, most recently
from
9e10aaf to
369995a
Compare
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
from
369995a to
6c1cb5d
Compare
maurelian
commented
Nov 22, 2022
packages/contracts-bedrock/contracts/echidna/FuzzResourceMetering.sol
Outdated
Show resolved
Hide resolved
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
2 times, most recently
from
e920fb6 to
ef6b785
Compare
maurelian
commented
Nov 23, 2022
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
2 times, most recently
from
ca33a4c to
10e43be
Compare
ctb: Format echidna fuzz contracts
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
from
6f6810e to
8fedd6e
Compare
maurelian
force-pushed
the
tob2-sol-fuzzing
branch
from
7567165 to
e89a287
Compare
Contributor
|
Hey @maurelian! This PR has merge conflicts. Please fix them before continuing review. |
Contributor
Author
|
Closing for now, will re-open with smaller PRs |
Contributor
Author
|
closing will break up into smaller prs |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
3 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description
Adds an Echidna Fuzz testing harness written by Trail of Bits during our latest engagement.
Changes:
packages/contracts-bedrock/contracts/echidna. These files implement the test harness itself../scripts/echidna_fuzz.shwhich runs the fuzzer with a significantly reduced number of fuzzing runs from the default.The script can be run with
ECHIDNA_TESTLIMIT=99 ECHIDNA_SEQLEN=9 ./scripts/echidna-fuzz.sh.This PR does not yet change the CCI config to actually run the fuzzing. That should come in a separate PR so that we can properly evaluate how to minimize the run time before imposing it on our dev process.
Metadata:
ENG-2956