Improve help if the wrong test-mode is used

Question

Improve help if the wrong test-mode is used

Closed this issue a year ago · 3 comments

A lot of users are using the assertion mode now. Maybe we should replace
the message echidna: No tests found in ABI, to something like echidna: No tests found in ABI. If you are using assert(), use --test-mode assertion, or something similar

Answer 1 · 2023-06-16T21:35:50.000Z

Please can you like provide example of " --test-mode assertion " thanks

Answer 2 · 2023-06-16T21:36:54.000Z

@montyly, Please can you like provide example of " --test-mode assertion " thanks

Answer 3 · 2023-06-16T21:38:08.000Z

@arcz ,Please can you like provide example of " --test-mode assertion " thanks