silentbicycle/theft

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