Function: registerCollateral(address collateral_)

This sets the Collateral contract address.

Inputs

• collateral_

  • Control: Fully controlled by the caller.

  • Constraints: Checked to be a valid address.

  • Impact: Collateral address.

Branches and code coverage (including function calls)

Intended branches

• Should set the Collateral address.

  Test coverage

• Ensure that the Collateral's market is the same as this address. Similar additional cross-checks could be added.

  Test coverage

Negative behavior

• Should not be callable by anyone other than the owner.

  Negative test

• Presumably should not be callable more than once.

  Negative test