The finance cluster has 3 fuzz targets in mycelix-finance/types/fuzz/ but could benefit from proptest coverage for demurrage (time-based currency decay).
Properties to test
- Demurrage is monotonically decreasing
- Zero time = zero decay
- Composition of periods equals single long period
- Currency never goes negative
The fuzz targets already found an f64 rounding bug, demonstrating the value of this approach. Proptest would provide more structured exploration of the input space.
Getting started
- Look at
mycelix-finance/types/fuzz/ for existing fuzz targets
- Add proptest to
mycelix-finance/types/ dev-dependencies
- Model the demurrage function properties as proptest strategies
The finance cluster has 3 fuzz targets in
mycelix-finance/types/fuzz/but could benefit from proptest coverage for demurrage (time-based currency decay).Properties to test
The fuzz targets already found an f64 rounding bug, demonstrating the value of this approach. Proptest would provide more structured exploration of the input space.
Getting started
mycelix-finance/types/fuzz/for existing fuzz targetsmycelix-finance/types/dev-dependencies