Firefly helps Ethereum smart contract developers by illuminating holes in their contract's test-set, guiding them towards higher test coverage and thus higher code quality assurance. A definite must for any smart contract developer planning to store and manipulate user funds!
Firefly replaces the functionality of ethereumjs-vm with RV’s very own KEVM. It promises to:
Enable better assurance of correctness of a program’s implementation.
Provide extra analysis powered by with KEVM.
Planned features for Firefly include:
Run Truffle tests directly using KEVM.
Measure test coverage over your program’s EVM bytecode.
Generate tests for uncovered portions of your program’s EVM bytecode.
Check out the Firefly roadmap: