Leology

A tool for testing programs for fast Aleo development.

Features • Getting Started • Future Work • Related

---

Features

Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer. It includes the most commonly used RPC functions and can be run deterministically to make development a breeze.

• Easy setup of Local Testnet
• Generate Accounts for testing
• Programmatic use in Rust to run tests
• Testing of both private and public values
• Local deployment of programs
• Aleo RPC support

Getting Started

Requirements

• Tmux
• Rust
• Cargo
• snarkOS
• snarkVM

Command line use

Clone this Repository

$ git clone https://github.com/leology-org/leology.git

Navigate to the directory

$ cd leology

To spin up the local testnet

$ cargo run start

To stop the local testnet

$ cargo run stop

To test the example Leo program

Navigate to the directory

$ cd examples/token

Run the testing command

$ cargo test

Future

• Run minimalistic version of snarkos for efficiency
• Full integration of RPC
• Integration with Leo

Related

• Aleo GitHub

---