Firefly is backed by KEVM, largely considered an official specification of the EVM. KEVM is tested thoroughly on the same test-suite as other clients and is trusted by many for formal verification.
Don't sacrifice performance for assurance. Firefly performs comparably to ganache-cli, meaning you won't see a slowdown in your test execution.
While executing your tests, Firefly collects extra information from KEVM about your contract. The results are used to power our Continuous Integration service, allowing you to catch problems early.
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.