Problem
contracts/assetsup/src/tokenization.rs has minimal test coverage. Core functions like mint_tokens(), burn_tokens(), and transfer_tokens() are untested, meaning regressions in these critical financial operations go undetected.
Proposed Solution
Create contracts/opsce/src/tokenization_tests.rs as a dedicated test module using the Soroban SDK test environment (soroban_sdk::testutils).
Acceptance Criteria
Problem
contracts/assetsup/src/tokenization.rshas minimal test coverage. Core functions likemint_tokens(),burn_tokens(), andtransfer_tokens()are untested, meaning regressions in these critical financial operations go undetected.Proposed Solution
Create
contracts/opsce/src/tokenization_tests.rsas a dedicated test module using the Soroban SDK test environment (soroban_sdk::testutils).Acceptance Criteria
tokenize_asset()— success, re-tokenization of already-tokenized asset failsmint_tokens()— success, minting beyond max supply failsburn_tokens()— success, burning more than owned balance failstransfer_tokens()— success, transfer without sufficient balance fails, self-transfer is preventedget_token_balance()— returns correct balance after a series of mints and transferssoroban_sdk::testutils::Address::randomfor test addressescargo test -p assetsup