Automatic contract verification for your RSpec suite