Describe the issue:

I run echidna in JSON output

Expected behavior

The JSON object contains arguments and msg.value

Contract.rescueETH(4370000) from: 0x0000000000000000000000000000000000020000 Time delay: 400981 seconds Block delay: 32147

...

"transactions":[{"arguments":[4370000],"value":0,"contract":"","function":"rescueETH","gas":12500000,"gasprice":0}],"type":"property"}]

Actual behavior:

• The JSON object contains an always empty argument list.
• The JSON object does not contain any msg.value

"transactions":[{"arguments":[],"contract":"","function":"rescueETH","gas":12500000,"gasprice":0}],"type":"property"}]

Code example to reproduce the issue:

n-a

Version:

Echidna 2.2.7

Relevant log output: