Open
Description
Describe the bug
Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null value
{{ message }}
No type
No projects
No milestone
None yet
No branches or pull requests
Describe the bug
Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null value