optik
optik copied to clipboard
Update account balance when running transactions
Describe the bug
Hybrid echidna doesn't correctly updates the target contract balance when running a transaction with non null value