property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input - View it on GitHub