P

Plain random test generation for C programs