search

crytic / echidna

Ethereum smart contract fuzzer
https://secure-contracts.com/program-analysis/echidna/index.html
GNU Affero General Public License v3.0
2.69k stars 355 forks source link

[Bug-Candidate]: no back color support for terminal screen.xterm-256color #1135

Open rappie opened 10 months ago

rappie commented 10 months ago

Describe the issue:

This happens very rarely at random moments. No way to reproduce.

Might be similar to the earlier "cups" error I kept getting in the past.

Version:

Latest 2.2.1 master built with nix-env.

Relevant log output:

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-Dbd4gS2zkOy8uP4PqnkPG0:Graphics.Vty.Output.TerminfoBased
rappie commented 9 months ago

Possibly related:

echidna: user error (Terminal does not define required capability "sgr0")
ggrieco-tob commented 5 months ago

Is this solved in 2.2.3?

rappie commented 5 months ago

I have not had these TERM related errors for a while now since updating to the latest version

ggrieco-tob commented 5 months ago

Great, let's close. Feel free to reopen if you see these again.

rappie commented 5 months ago 
echidna: user error (Terminal does not define required capability "clear")

Just had this one. Should we reopen it or create a new issue?

arcz commented 5 months ago

Let's reopen, I'm not sure what can be the cause but we will be updating terminal-related dependencies soon (https://github.com/crytic/echidna/issues/1198) so it might get resolved.

elopez commented 5 months ago

@rappie if you're able to reproduce it, can you check if running stty sane or tput reset on the terminal help fix it?

rappie commented 5 months ago

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 but it does not stop/cancel anything, it is just a character that I can remove with backspace.

To fix it, I do reset. I assume this is the same as tput reset?. I will try your commands next time.

rappie commented 5 months ago 
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 issue. It is very rare now though.