def template_condition(data): with BuildContext(data): try: data.is_find = True with deterministic_PRNG(): result = data.draw(search) data.note(result) success = condition(result) except UnsatisfiedAssumption: data.mark_invalid() if success: successful_examples[0] += 1 if settings.verbosity >= Verbosity.verbose: if not successful_examples[0]: report( u'Tried non-satisfying example %s' % (nicerepr(result),)) elif success: if successful_examples[0] == 1: last_repr[0] = nicerepr(result) report(u'Found satisfying example %s' % (last_repr[0],)) last_data[0] = data elif ( sort_key(hbytes(data.buffer)) < sort_key(last_data[0].buffer) ) and nicerepr(result) != last_repr[0]: last_repr[0] = nicerepr(result) report(u'Shrunk example to %s' % (last_repr[0],)) last_data[0] = data if success and not data.frozen: data.mark_interesting()
def template_condition(data): with BuildContext(data): try: data.is_find = True result = data.draw(search) data.note(result) success = condition(result) except UnsatisfiedAssumption: data.mark_invalid() if success: successful_examples[0] += 1 if settings.verbosity == Verbosity.verbose: if not successful_examples[0]: report(lambda: u'Trying example %s' % ( nicerepr(result), )) elif success: if successful_examples[0] == 1: report(lambda: u'Found satisfying example %s' % ( nicerepr(result), )) else: report(lambda: u'Shrunk example to %s' % ( nicerepr(result), )) last_data[0] = data if success and not data.frozen: data.mark_interesting()
def template_condition(data): with BuildContext(data): try: data.is_find = True with deterministic_PRNG(): result = data.draw(search) data.note(result) success = condition(result) except UnsatisfiedAssumption: data.mark_invalid() if success: successful_examples[0] += 1 if settings.verbosity >= Verbosity.verbose: if not successful_examples[0]: report(u"Tried non-satisfying example %s" % (nicerepr(result), )) elif success: if successful_examples[0] == 1: last_repr[0] = nicerepr(result) report(u"Found satisfying example %s" % (last_repr[0], )) last_data[0] = data elif (sort_key(hbytes(data.buffer)) < sort_key( last_data[0].buffer) ) and nicerepr(result) != last_repr[0]: last_repr[0] = nicerepr(result) report(u"Shrunk example to %s" % (last_repr[0], )) last_data[0] = data if success and not data.frozen: data.mark_interesting()
def template_condition(data): with BuildContext(data): try: data.is_find = True result = data.draw(search) data.note(result) success = condition(result) except UnsatisfiedAssumption: data.mark_invalid() if success: successful_examples[0] += 1 if settings.verbosity == Verbosity.verbose: if not successful_examples[0]: report(lambda: u'Trying example %s' % ( nicerepr(result), )) elif success: if successful_examples[0] == 1: report(lambda: u'Found satisfying example %s' % ( nicerepr(result), )) last_data[0] = data elif ( sort_key(hbytes(data.buffer)) < sort_key(last_data[0].buffer) ): report(lambda: u'Shrunk example to %s' % ( nicerepr(result), )) last_data[0] = data if success and not data.frozen: data.mark_interesting()
def inner(*args, **kwargs): if data.frozen: raise InvalidState( "This generated %s function can only be called within the " "scope of the @given that created it." % (nicerepr(self.like), )) val = data.draw(self.returns) note("Called function: %s(%s) -> %r" % (nicerepr( self.like), arg_string(self.like, args, kwargs), val)) return val
def inner(*args, **kwargs): if data.frozen: raise InvalidState( "This generated %s function can only be called within the " "scope of the @given that created it." % (nicerepr(self.like),) ) data.can_reproduce_example_from_repr = False val = data.draw(self.returns) note( "Called function: %s(%s) -> %r" % (nicerepr(self.like), arg_string(self.like, args, kwargs), val) ) return val
def print_step(self, step): """Print a step to the current reporter. This is called right before a step is executed. """ self.step_count = getattr(self, u'step_count', 0) + 1 report(u'Step #%d: %s' % (self.step_count, nicerepr(step)))
def print_step(self, step, result): """Print a step to the current reporter. This is called right after a step is executed. """ self.step_count = getattr(self, "step_count", 0) + 1 report("Step #%d: %s" % (self.step_count, nicerepr(step)))
def inner(*args, **kwargs): if data.frozen: raise InvalidState( "This generated %s function can only be called within the " "scope of the @given that created it." % (nicerepr(self.like), )) if self.pure: args, kwargs = convert_positional_arguments( self.like, args, kwargs) key = (inner, args, frozenset(kwargs.items())) val = data.draw(SharedStrategy(base=self.returns, key=key)) else: val = data.draw(self.returns) note("Called function: %s(%s) -> %r" % (nicerepr( self.like), arg_string(self.like, args, kwargs), val)) return val
def builds(target, *args, **kwargs): """Generates values by drawing from args and kwargs and passing them to target in the appropriate argument position. e.g. builds(target, integers(), flag=booleans()) would draw an integer i and a boolean b and call target(i, flag=b). """ from hypothesis.internal.reflection import nicerepr def splat(value): return target(*value[0], **value[1]) target_name = getattr(target, u'__name__', type(target).__name__) splat.__name__ = str( u'splat(%s)' % (target_name,) ) return ReprWrapperStrategy( tuples(tuples(*args), fixed_dictionaries(kwargs)).map(splat), u'builds(%s)' % ( u', '.join( [nicerepr(target)] + list(map(nicerepr, args)) + sorted([u'%s=%r' % (k, v) for k, v in kwargs.items()]))))
def __repr__(self): return "%s(%s)" % (type(self).__name__, nicerepr(self.bundles))
def __repr__(self): return u'%s(%s)' % ( type(self).__name__, nicerepr(self.bundles), )
def calc_repr(): return u'builds(%s)' % ( u', '.join( [nicerepr(target)] + list(map(nicerepr, args)) + sorted([u'%s=%r' % (k, v) for k, v in kwargs.items()])))
def __repr__(self): return "{}({})".format(type(self).__name__, nicerepr(self.bundles))
def calc_repr(): return u'builds(%s)' % ( u', '.join([nicerepr(target)] + list(map(nicerepr, args)) + sorted([u'%s=%r' % (k, v) for k, v in kwargs.items()])))