KaneAI - World’s First E2E Software Testing Agent.Book a Demo Join TestMu Conference

How to use new_conjecture_data_for_buffer method in hypothesis

Best Python code snippet using hypothesis

engine.py

Source:engine.py

...652            draw_bytes=draw_bytes,653            max_length=BUFFER_SIZE,654            observer=self.tree.new_observer(),655        )656    def new_conjecture_data_for_buffer(self, buffer):657        return ConjectureData.for_buffer(buffer, observer=self.tree.new_observer())658    def shrink_interesting_examples(self):659        """If we've found interesting examples, try to replace each of them660        with a minimal interesting example with the same interesting_origin.661        We may find one or more examples with a new interesting_origin662        during the shrink process. If so we shrink these too.663        """664        if Phase.shrink not in self.settings.phases or not self.interesting_examples:665            return666        for prev_data in sorted(667            self.interesting_examples.values(), key=lambda d: sort_key(d.buffer)668        ):669            assert prev_data.status == Status.INTERESTING670            data = self.new_conjecture_data_for_buffer(prev_data.buffer)671            self.test_function(data)672            if data.status != Status.INTERESTING:673                self.exit_with(ExitReason.flaky)674        self.clear_secondary_key()675        while len(self.shrunk_examples) < len(self.interesting_examples):676            target, example = min(677                [678                    (k, v)679                    for k, v in self.interesting_examples.items()680                    if k not in self.shrunk_examples681                ],682                key=lambda kv: (sort_key(kv[1].buffer), sort_key(repr(kv[0]))),683            )684            self.debug("Shrinking %r" % (target,))685            if not self.settings.report_multiple_bugs:686                # If multi-bug reporting is disabled, we shrink our currently-minimal687                # failure, allowing 'slips' to any bug with a smaller minimal example.688                self.shrink(example, lambda d: d.status == Status.INTERESTING)689                return690            def predicate(d):691                if d.status < Status.INTERESTING:692                    return False693                return d.interesting_origin == target694            self.shrink(example, predicate)695            self.shrunk_examples.add(target)696    def clear_secondary_key(self):697        if self.has_existing_examples():698            # If we have any smaller examples in the secondary corpus, now is699            # a good time to try them to see if they work as shrinks. They700            # probably won't, but it's worth a shot and gives us a good701            # opportunity to clear out the database.702            # It's not worth trying the primary corpus because we already703            # tried all of those in the initial phase.704            corpus = sorted(705                self.settings.database.fetch(self.secondary_key), key=sort_key706            )707            for c in corpus:708                primary = {v.buffer for v in self.interesting_examples.values()}709                cap = max(map(sort_key, primary))710                if sort_key(c) > cap:711                    break712                else:713                    self.cached_test_function(c)714                    # We unconditionally remove c from the secondary key as it715                    # is either now primary or worse than our primary example716                    # of this reason for interestingness.717                    self.settings.database.delete(self.secondary_key, c)718    def shrink(self, example, predicate):719        s = self.new_shrinker(example, predicate)720        s.shrink()721        return s.shrink_target722    def new_shrinker(self, example, predicate):723        return Shrinker(self, example, predicate)724    def cached_test_function(self, buffer):725        """Checks the tree to see if we've tested this buffer, and returns the726        previous result if we have.727        Otherwise we call through to ``test_function``, and return a728        fresh result.729        """730        buffer = hbytes(buffer)731        def check_result(result):732            assert result is Overrun or (733                isinstance(result, ConjectureResult) and result.status != Status.OVERRUN734            )735            return result736        try:737            return check_result(self.__data_cache[buffer])738        except KeyError:739            pass740        rewritten, status = self.tree.rewrite(buffer)741        try:742            result = check_result(self.__data_cache[rewritten])743        except KeyError:744            pass745        else:746            assert result.status != Status.OVERRUN or result is Overrun747            self.__data_cache[buffer] = result748            return result749        # We didn't find a match in the tree, so we need to run the test750        # function normally. Note that test_function will automatically751        # add this to the tree so we don't need to update the cache.752        result = None753        if status != Status.OVERRUN:754            data = self.new_conjecture_data_for_buffer(buffer)755            self.test_function(data)756            result = check_result(data.as_result())757            assert status is None or result.status == status758            status = result.status759        if status == Status.OVERRUN:760            result = Overrun761        assert result is not None762        self.__data_cache[buffer] = result763        return result764    def event_to_string(self, event):765        if isinstance(event, str):766            return event767        try:768            return self.events_to_strings[event]...

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.