Function: reInsert(address _id, uint256 _newNICR, address _prevId, address _nextId)

Add a node to the list.

Inputs

• _id

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Node's ID.

• _newNICR

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: Node's new NICR.

• _prevId

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: ID of previous node for the insert position.

• _nextId

  • Control: Fully controlled.

  • Constraints: No constraints.

  • Impact: ID of next node for the insert position

Branches and code coverage (including function calls)

Intended branches

• Reinsert the node in the orrect possition.

  Test coverage

Negative behavior

• Revert if caller is not the trove manager.

  Test coverage

• Revert if the list does not contain the ID.

  Test coverage