Dario FSM

This repository contains a Finite-State Machine (FSM) implementation of Dario's life cycle.

Structure

The project is organized in three main components:

• contract: The smart contract that utilizes the Dario FSM for state transitions. It contains the logic to read state and set state. Built to run on the Dusk protocol.
• dario_fsm: The core Rust library implementing the Dario FSM containing the state transition logic, events and states.
• test: A test suite for the smart contract.

Prerequisites

• Rustup
• Make

Build and test

To build the contract, simply run:

make contract

To test, run:

make test