Module: StateMachineChecker::RspecMatchers

Defined in:: lib/state_machine_checker/rspec_matchers.rb

Defined Under Namespace

Classes: SatisfyMatcher

Instance Method Summary collapse

#satisfy(formula) ⇒ Object

Instance Method Details

#satisfy(formula) ⇒ `Object`



5
6
7

# File 'lib/state_machine_checker/rspec_matchers.rb', line 5

def satisfy(formula)
  SatisfyMatcher.new(formula)
end