Function: launch(string name, string symbol, string mediaURI)

Anyone can launch a new LaunchToken instance, but the LAUNCH_FEE must be paid.

Inputs

• name

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The name for the new LaunchToken.

• symbol

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The symbol for the new LaunchToken.

• mediaURI

  • Control: Full control.

  • Constraints: No constraints.

  • Impact: The media URI for the new LaunchToken.

Branches and code coverage

Intended branches

• The new LaunchToken has been successfully created, and TOTAL_SUPPLY tokens have been minted.

  Test coverage

Negative behavior

• msg.value is less than LAUNCH_FEE.

  Negative test

• bondingCurve address is not set up and is equal to zero.

  Negative test

Function call analysis

• LaunchToken(token).mint(Launchpad.TOTAL_SUPPLY)

  • What is controllable? N/A.

  • If the return value is controllable, how is it used and how can it go wrong? There is no return value here.

  • What happens if it reverts, reenters or does other unusual control flow? N/A.