(self)
This function is used to populate `self.read_strategies` if by set-state time none have been provided
        It uses state options to pick defaults.
This function is used to populate `self.read_strategies` if by set-state time none have been provided
        It uses state options to pick defaults.
This function is used to populate self . read_strategies if by set - state time none have been provided It uses state options to pick defaults .
def _create_default_read_strategies(self):
        """
        This function is used to populate `self.read_strategies` if by set-state time none have been provided
        It uses state options to pick defaults.
        """
        self.read_strategies = [ ]
        if options.APPROXIMATE_MEMORY_INDICES in self.state.options:
            # first, we try to resolve the read address by approximation
            self.read_strategies.append(
                concretization_strategies.SimConcretizationStrategyRange(1024, exact=False),
            )

        # then, we try symbolic reads, with a maximum width of a kilobyte
        self.read_strategies.append(
            concretization_strategies.SimConcretizationStrategyRange(1024)
        )

        if options.CONSERVATIVE_READ_STRATEGY not in self.state.options:
            # finally, we concretize to any one solution
            self.read_strategies.append(
                concretization_strategies.SimConcretizationStrategyAny(),
            )
def _create_default_read_strategies ( self ) : self . read_strategies = [ ] if options . APPROXIMATE_MEMORY_INDICES in self . state . options : # first, we try to resolve the read address by approximation self . read_strategies . append ( concretization_strategies . SimConcretizationStrategyRange ( 1024 , exact = False ) , ) # then, we try symbolic reads, with a maximum width of a kilobyte self . read_strategies . append ( concretization_strategies . SimConcretizationStrategyRange ( 1024 ) ) if options . CONSERVATIVE_READ_STRATEGY not in self . state . options : # finally, we concretize to any one solution self . read_strategies . append ( concretization_strategies . SimConcretizationStrategyAny ( ) , )