add notice if test failed at initialization already about echidna HOT 15 CLOSED

rather than │ Call sequence: name(); it could say | Call sequence: Constructor(); which would prevent users from assuming the problem is in name() and make them look into Constructor() instead where problem is to be found

from echidna.

i'll look into this. would love to contribute and it seems like a good starting point.

thanks a lot for echidna : ) it's highly needed, already useful and i'm sure it will become immensely useful!

from echidna.

Yes, this is indeed very useful.

One possible idea is to report the type of "error" you have in the VM once echidna finishes the execution. For instance, in the Revert.hs example, echidna only fails when it founds a revert opcode. It could be useful to report out-of-gass exceptions as well. The list of EVM errors is available here.

Thanks to you for taking the time to test our tool, report back the results and make your contribution. 👍

from echidna.

This makes a ton of sense! I'm going to look into implementing it

from echidna.

Hi @snd. Sorry for the long delay to address this issue! Can you please test PR #131 ? I will add the Constructor(); soon but the checks to detect when the contract fails at the initialization should be working..

from echidna.

Issue Status: 1. Open 2. Started 3. Submitted 4. Done

This issue now has a funding of 200.0 DAI (200.0 USD @ $1.0/DAI) attached to it as part of the Ethereum Community Fund via ECF Web 3.0 Infrastructure Fund fund__.__

• If you would like to work on this issue you can 'start work' on the Gitcoin Issue Details page.
• Want to chip in? Add your own contribution here.
• Questions? Checkout Gitcoin Help or the Gitcoin Slack
• $43,785.34 more funded OSS Work available on the Gitcoin Issue Explorer

from echidna.

@ggrieco-tob - are you still working on this? If so, don't forget to get approval to start work here: https://gitcoin.co/issue/trailofbits/echidna/17/1453

from echidna.

@g-laz77 Hello from Gitcoin Core - are you still working on this issue? Please submit a WIP PR or comment back within the next 3 days or you will be removed from this ticket and it will be returned to an ‘Open’ status. Please let us know if you have questions!

• reminder (3 days)
• escalation to mods (6 days)

Funders only: Snooze warnings for 1 day | 3 days | 5 days | 10 days | 100 days

from echidna.

@g-laz77 Hello from Gitcoin Core - are you still working on this issue? Please submit a WIP PR or comment back within the next 3 days or you will be removed from this ticket and it will be returned to an ‘Open’ status. Please let us know if you have questions!

• reminder (3 days)
• escalation to mods (6 days)

Funders only: Snooze warnings for 1 day | 3 days | 5 days | 10 days | 100 days

from echidna.

@g-laz77 Hello from Gitcoin Core - are you still working on this issue? Please submit a WIP PR or comment back within the next 3 days or you will be removed from this ticket and it will be returned to an ‘Open’ status. Please let us know if you have questions!

• reminder (3 days)
• escalation to mods (6 days)

Funders only: Snooze warnings for 1 day | 3 days | 5 days | 10 days | 100 days

from echidna.

Sorry that I wasn't able to respond the past week. I had contracted flu and allergies and had to catch up with university work after that. I have set up echidna. Now I am trying to test an example contract to identify the failure at initialisation.

from echidna.

@g-laz77 Hello from Gitcoin Core - are you still working on this issue? Please submit a WIP PR or comment back within the next 3 days or you will be removed from this ticket and it will be returned to an ‘Open’ status. Please let us know if you have questions!

• reminder (3 days)
• escalation to mods (6 days)

Funders only: Snooze warnings for 1 day | 3 days | 5 days | 10 days | 100 days

from echidna.

Issue Status: 1. Open 2. Started 3. Submitted 4. Done

@g-laz77 due to inactivity, we have escalated this issue to Gitcoin's moderation team. Let us know if you believe this has been done in error!

• reminder (3 days)
• escalation to mods (6 days)

Funders only: Snooze warnings for 1 day | 3 days | 5 days | 10 days | 100 days

from echidna.

Hi, sorry for the delayed response, but I was busy with semester work for the last couple of weeks and couldn't spend any time on the issues. I am beginning the work now

from echidna.

This was implemented long time ago.

from echidna.