[Bug-Candidate]: Minor log message tweak

[rappie]

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]

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]

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 ...