Chia-Network / clvm_tools_rs

clvm_tools ported to rust based on https://github.com/Chia-Mine/clvm_tools-js/, and chialisp-21 dialect with a new compiler.
Apache License 2.0
11 stars 13 forks source link

Core fuzz generation and tests of it #81

Closed prozacchiwawa closed 5 months ago

prozacchiwawa commented 6 months ago

This is a framework for accumulating arbitrary programs that fit some desired constraints or have desirable structure or properties. While it's possible to fuzz compilers with completely arbitrary programs, the vast majority of programs generated completely arbitrarily aren't meaningful enough to fully compile or fully execute.

This allows us to choose a middle ground where we can try to produce unexpected inputs for the compiler while ensuring

coveralls commented 6 months ago

Pull Request Test Coverage Report for Build 8744268851

Details


Changes Missing Coverage Covered Lines Changed/Added Lines %
src/compiler/fuzz.rs 50 53 94.34%
src/compiler/sexp.rs 61 64 95.31%
<!-- Total: 111 117 94.87% -->
Files with Coverage Reduction New Missed Lines %
src/compiler/sexp.rs 8 79.08%
<!-- Total: 8 -->
Totals Coverage Status
Change from base Build 8742161930: 0.04%
Covered Lines: 14925
Relevant Lines: 17996

💛 - Coveralls