Introduction

The project

The project’s directory is in projects/token. Below is a brief description of this Rust project directory’s contents:

  • src/lib.rs has a Soroban smart contract with some functionality of a Token.

  • confs/ has several configuration files to help you run Certora Sunbeam.

  • src/certora/ is where we will write the formal specs for this contract. It also has a directory of mutants to evaluate the specs.

Solutions

In file solutions/solution_specs.rs you’ll find the solutions to all exercises of this repository. You can consult it if you want to know the answers.