Echidna allows the initial balance to be set using integers, for example to set the initial balance to type(uint256).max:
balanceContract: 115792089237316195423570985008687907853269984665640564039457584007913129639935
Ideally Medusa would also allow initial balance to be set the same way as this is much more natural than using hex notation.
When using chisel to get the hex for various balances then using that hex as input to Medusa, this can result in some weird errors, eg: type(uint256).max 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
error Failed to initialize the test chain
‣ test chain state write error when adding tx to pending block: insufficient funds for gas * price + value: address 0x0000000000000000000000000000000000030000 have 28948022309329048855892746252171976963317496166410141009864396001978282409983 want 115792089237316195423570985008687907853269984665640564039457584007913129639935
Echidna allows the initial balance to be set using integers, for example to set the initial balance to type(uint256).max:
balanceContract: 115792089237316195423570985008687907853269984665640564039457584007913129639935Ideally Medusa would also allow initial balance to be set the same way as this is much more natural than using hex notation.
When using chisel to get the hex for various balances then using that hex as input to Medusa, this can result in some weird errors, eg: type(uint256).max 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
error Failed to initialize the test chain
‣ test chain state write error when adding tx to pending block: insufficient funds for gas * price + value: address 0x0000000000000000000000000000000000030000 have 28948022309329048855892746252171976963317496166410141009864396001978282409983 want 115792089237316195423570985008687907853269984665640564039457584007913129639935