[Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2

[viper7882]

[Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2

[viper7882]

Hi @elopez ,

--format text helps as it turns off the dashboard.

export TERMINFO=/usr/lib/terminfo

echidna ./TestEchidna.sol --contract TestCounter

working as well.

Reset the earlier environment first,

export TERMINFO=

and then run https://github.com/crytic/echidna/actions/runs/7800327039.

Congratulations! https://github.com/crytic/echidna/actions/runs/7800327039 is working.

I trust we are good to close this issue.

[rappie]

Related: #1135

[viper7882]

In v2.2.1, intermittently I've encountered into this error but in v2.2.2, the rate to reproduce is 100%. I'm totally gated by this error unless someone could share with me how to workaround.

[elopez]

Hi, thanks for the report @viper7882! Does it also happen if you pass --format text to echidna?

Does it help if you first run the following export command, and then use echidna on that same terminal?

export TERMINFO=/usr/lib/terminfo

echidna ./TestEchidna.sol --contract TestCounter

If that helps, would you mind testing the Linux binary from this CI run and see if it resolves the issue? https://github.com/crytic/echidna/actions/runs/7800327039

[ggrieco-tob]

@elopez could be this related? https://bugzilla.redhat.com/show_bug.cgi?id=1357981 I'm getting this issue when running echidna inside screen.