Function: call(Call[] calls)

This aggregates calls, ensuring each call is successful. Inspired by the Multicall2 contract.

Inputs

• calls

  • Control: Full control. Consists of (address, calldata) pairs.

  • Constraints: Addresses must belong to contracts. Failing calls will revert.

  • Impact: The call(s) to make.

Branches and code coverage

Intended branches

• Approved caller makes a single call.

  Test coverage

• Approved caller makes an aggregated call.

  Test coverage

Negative behavior

• Unapproved caller tries to make a call.

  Negative test

• Tries to call a non-contract.

  Negative test

• One of multiple calls fail.

  Negative test