New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Echidna scripts to the CI #293

Open

bingen opened this issue Feb 16, 2021 · 0 comments

Assignees

Labels

backend testing

Collaborator

bingen commented Feb 16, 2021

The ones provided by Trail of Bits after the first audit.

bingen added backend testing labels

bingen self-assigned this

bingen changed the title ~~Add Slither scripts to the CI~~ Add Echidna scripts to the CI

bingen mentioned this issue

Convert SafeMath to use assert instead of require #312

Open

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