RSpec verifying doubles and better YaST module mocking