Function: migrateBIT(uint256 _amount)

Swaps caller's BIT tokens for MNT tokens.

Inputs

• _amount

  • Control: Full.

  • Constraints: Caller must be at least sufficiently funded with respect to _amount.

  • Impact: Amount of tokens to be migrated.

Branches and code coverage (including function calls)

Intended branches

• Successfuly swaps if all conditions are met.

  Test coverage

Negative behavior

• Reverts when the contract is not funded.

  Negative test

• Reverts when the caller is not funded.

  Negative test

• Reverts when the contract is halted.

  Negative test