Component: ICS26Router

Function: sendPacket

This function sends an IBC packet, committing a packet to storage.

Inputs

• msg_

  • Control: Only the IBC app can send this.

  • Constraints: Time-out must be valid.

  • Impact: The IBC message.

Branches and code coverage

Intended branches

Negative behavior

Function: RecvPacket

This function receives a packet and commits a packet acknowledgment.

Inputs

• msg_

  • Control: Arbitrary.

  • Constraints: Packet must have payload length equal to 1.

  • Impact: The received IBC message.

Intended branches

Negative behavior

Function: ackPacket

This function acknowledges the IBC packet — doing so deletes the packet commitment.

Inputs

• msg_

  • Control: Arbitrary.

  • Constraints: Counterparty info must match.

  • Impact: The message to verify and acknowledge.

Intended branches

Negative behavior

Function: timeoutPacket

This function times out the IBC packet — doing so deletes the packet commitment.

Inputs

• msg_

  • Control: Arbitrary.

  • Constraints: Counterparty info must match.

  • Impact: The message to time out.

Intended branches

Negative behavior