Open willemneal opened 11 months ago
Current main branch
Updated contract_a to use 20.0.0-rc1. Deployed to futurenet.
contract_a
20.0.0-rc1
Then invoked with an overflow.
I tried with and without overflow checks in the Cargo.toml, but I find it strange that using a checked_add would panic.
checked_add
Message from .expect("no overflow")
.expect("no overflow")
SOROBAN_NETWORK=futurenet soroban contract invoke --id $(cat contract_a.txt) -- add --x 4294967295 --y 1 2023-09-18T17:21:09.186326Z ERROR soroban_cli::log::diagnostic_event: 0: "AAAAAAAAAAAAAAAAAAAAAgAAAAAAAAADAAAADwAAAAdmbl9jYWxsAAAAAA0AAAAg0meKu45LxAmN2TJiGUopC4etdHqFmWfIAkGZLz2WMW4AAAAPAAAAA2FkZAAAAAAQAAAAAQAAAAIAAAAD/////wAAAAMAAAAB" error: transaction simulation failed: host invocation failed
SOROBAN_NETWORK=futurenet soroban contract invoke --id $(cat contract_a.txt) -- add --x 4294967295 --y 1
2023-09-18T17:21:09.186326Z ERROR soroban_cli::log::diagnostic_event: 0: "AAAAAAAAAAAAAAAAAAAAAgAAAAAAAAADAAAADwAAAAdmbl9jYWxsAAAAAA0AAAAg0meKu45LxAmN2TJiGUopC4etdHqFmWfIAkGZLz2WMW4AAAAPAAAAA2FkZAAAAAAQAAAAAQAAAAIAAAAD/////wAAAAMAAAAB" error: transaction simulation failed: host invocation failed
Caused by: HostError: Error(WasmVm, InvalidAction) DebugInfo not available
What version are you using?
Current main branch
What did you do?
Updated
contract_ato use20.0.0-rc1. Deployed to futurenet.Then invoked with an overflow.
I tried with and without overflow checks in the Cargo.toml, but I find it strange that using a
checked_addwould panic.What did you expect to see?
Message from
.expect("no overflow")What did you see instead?
Caused by: HostError: Error(WasmVm, InvalidAction) DebugInfo not available