Firefly helps Ethereum smart contract developers
get higher assurance.

Firefly tests your smart contract test-suite.

start Sample Report

Benefits of using Firefly

Jump opcodes
All jump opcodes have both of their branches executed.
Invalid opcodes
No invalid opcodes in the code base were reached by tests.
Revert opcodes
All revert opcodes in the code base were reached by some tests.
Performance 01

Firefly out-performs ganache-cli, which means less time spent waiting for test results and more time finding and fixing bugs.

Code Analysis 02
Code Analysis

Firefly collects additional information while executing your tests, augmenting your test results with fine-grained coverage information that goes deeper than available Solidity coverage tools.

Continuous Integration 03
Continuous Integration

Firefly integrates directly with GitHub Status Checks, allowing you to set code health metrics and maintain them throughout development.

Start here

Set up Firefly by following the steps bellow:

Sign-up for the Beta program

First, we'll inform you when the program starts. Then we'll give you free access for a month.

This is for internal purposes only. Runtime Verification doesn’t share your email with anyone.