1

How do I make msg.value something (aka send some ETH) on the beginning of an Echidna test?

For example, if I have this function:

function test() external payable {
   if (msg.value > 0) {
      assert(false);
   } else {
      assert(true);
   }
}

...how do I make it fail (aka run assert(false))? Is it something in the config file? I went through its docs but didn't find the option for it

Thanks!

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.