In the echidna advanced documentation, it is mentioned as

The label r on the left of each line indicates that Echidna can reach these lines, but they result in a revert.

however it doesn't describe in detail about what each of these statuses mentioned as below.

*   | 
r   |
*r  | 


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.