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.