Property based testing in Ruby based on the theft C library.