module Webspicy::Specification::Pre

Public Instance Methods

counterexamples(service) click to toggle source

Provide counterexamples of this precondition for a given service.

# File lib/webspicy/specification/pre.rb, line 11
def counterexamples(service)
  []
end
instrument() click to toggle source

Instrument the current test_case so as to meet the precondition

# File lib/webspicy/specification/pre.rb, line 7
def instrument
end