This repository has been archived by the owner on Mar 15, 2021. It is now read-only.

Display echidna errors #16

Closed

marcoscaceres opened this issue Jun 5, 2020 · 0 comments · Fixed by #17

Member

marcoscaceres commented Jun 5, 2020

As we already fetch the results like:

https://labs.w3.org/echidna/api/status?id=870bc1a8-ed54-4db6-a5a7-60f1c98d7a8c

It would be cool if pulled out the specberus failures and displayed them in a user-friendly manner.

sidvishnoi mentioned this issue

feat: display specberus errors in more friendly way #17

Merged

sidvishnoi closed this as completed in #17

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