Skip to content
This repository was archived by the owner on Oct 10, 2024. It is now read-only.

Echidna tests and slither fixes #543

Merged
merged 8 commits into from
Mar 27, 2020
Merged

Echidna tests and slither fixes #543

merged 8 commits into from
Mar 27, 2020

Conversation

@nostdm
Copy link
Contributor

@nostdm nostdm commented Mar 27, 2020 •
edited
Loading

  • Fixed/modified existing Echidna tests cases
  • Updated README.md
  • Created new Echidna test cases
  • Deleted outdated test cases (e.g. stringProps)
  • Added new configuration options (e.g. timeout)
  • Parallelized all CircleCI tests
  • Added a configuration file to Slither

@nostdm nostdm force-pushed the echidna branch 2 times, most recently from e3bc305 to 9de61d4 Compare March 27, 2020 11:55
@nostdm nostdm changed the title Echidna Echidna tests and slither fixes Mar 27, 2020
@jeffreybolle jeffreybolle self-requested a review March 27, 2020 13:01
@nostdm nostdm merged commit 764c45a into master Mar 27, 2020
@nostdm nostdm deleted the echidna branch March 27, 2020 13:25
mischat
mischat approved these changes Mar 27, 2020
View reviewed changes
Copy link
Contributor

@mischat mischat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this looks good to me 2

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

2 more reviewers

@jeffreybolle jeffreybolle jeffreybolle approved these changes

@mischat mischat mischat approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@nostdm @jeffreybolle @mischat