Rappie
Rappie
Actually, I would like the option to fully disable it. In practice I would have it disabled by default in all cases and only enable it when I'm actively investing...
Possibly related: ``` echidna: user error (Terminal does not define required capability "sgr0") ```
I have not had these TERM related errors for a while now since updating to the latest version
``` echidna: user error (Terminal does not define required capability "clear") ``` Just had this one. Should we reopen it or create a new issue?
I've only had it once so far, but I regularly get a situation where CTRL+C is not working anymore after running Echidna. If I press it, the ^C character appears...
``` echidna: no back color support for terminal screen.xterm-256color CallStack (from HasCallStack): error, called at src/Graphics/Vty/Output/TerminfoBased.hs:127:32 in vty-5.38-t4uBxudScr4gwaMP3IHWw:Graphics.Vty.Output.TerminfoBased ``` Just had the exact same error as mentioned in the original...
Related: https://github.com/crytic/echidna/issues/861
I believe this just got added to echidna: - https://github.com/crytic/echidna/pull/1157 - https://twitter.com/rappie_eth/status/1747212387613135248 Echidna only prints the address of the caller if they differ between functions in the sequence that lead...
Related: https://github.com/crytic/echidna/issues/656#issuecomment-1342570956
The `dashboard` setting doesn't seem to be working for me either. You can also disable it by using the `--format text` option > I would like to run all possible...