crytic/echidna

[Bug-Candidate]: Minor log message tweak

rappie opened this issue · 2 comments

rappie commented

Describe the issue:

[2024-03-25 13:03:50.70] Running slither on ....

I believe this should be either "Running slither on X ...." (not sure what X would be), or just "Running slither ...."

Code example to reproduce the issue:

N/A

Version:

2.2.3

Relevant log output:

No response

elopez commented

Hi @rappie! The message is Running slither on ${TARGET}....

echidna/lib/Echidna/SourceAnalysis/Slither.hs

Line 116 in 3f82caf

(exitCode, out, err) <- measureIO solConf.quiet ("Running slither on " <> fp) $

The same applies for the Compiling ${TARGET}... message

echidna/lib/Echidna/Solidity.hs

Line 89 in 3f82caf

(ec, out, err) <- measureIO solConf.quiet ("Compiling " <> x) $ do

Are you using . as target (i.e. echidna .)? I guess that can make it a bit confusing 😅 Maybe we should add some quotes around the path. so it doesn't get confused with the ... that indicate it's being worked on.

rappie commented

Ahh haha now it makes sense. 😆 I already didn't understand why there were 4 dots instead of 3 like in most cases.

I am indeed using .

Quotes would indeed help. Also maybe a space between {TARGET} and ...