Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Sunbeam Tutorials
Light Logo Dark Logo
Sunbeam Tutorials

General:

  • Installation and setup

Projects:

  • Token project exercises
    • Introduction
    • 0. Warm up
    • 1. A property to check the initial balance of a new account
    • 2. Effect of transfer on the balances of various addresses
    • 3. transfer under insufficient funds
    • 4. Specs for mint and burn
    • 5. Assessing your specs through mutation testing

Indexes

  • Index
Back to top

Installation and setupΒΆ

Installation instructions can be found in the main Certora Documentation:

  • Sunbeam installation instructions

  • Sunbeam Troubleshooting

Next
Token project exercises
Previous
Home
Copyright © 2024, Certora, Inc
Made with Sphinx and @pradyunsg's Furo