Function: handleOperation(Operation op, uint256 perJoinSplitVerifyGas, address bundler)

This is called by Teller to handle one Operation. Ensures zeroed balances on all of the tracked assets of the operation, unwraps (transfers from Teller) assets, executes actions, pays bundler gas-compensation tokens, and creates refund tokens for tracked assets obtained during the actions.

Inputs

• op

  • Control: Arbitrary --- proof must be valid.

  • Constraints: All assets must be tracked.

  • Impact: Operation to run.

• perJoinSplitVerifyGas

  • Control: None.

  • Constraints: None.

  • Impact: Reserves this amount to pay for gas from unwrapped assets.

• bundler

  • Control: None.

  • Constraints: None.

  • Impact: Address of bundler for refund.

Branches and code coverage

Intended branches

• Actions run successfully.

  Test coverage

• Balance not zeroed; actions run successfully after transfer.

  Test coverage

• An Action reverts during execution.

  Test coverage

Negative behavior

• Contract paused.

  Negative test

• Not called by Teller.

  Negative test

• Tracked assets contains unsupported asset.

  Negative test