module StateMachineChecker::RspecMatchers

Public Instance Methods

satisfy(formula) click to toggle source
# File lib/state_machine_checker/rspec_matchers.rb, line 5
def satisfy(formula)
  SatisfyMatcher.new(formula)
end