(self)
This function is used to populate `self.write_strategies` if by set-state time none have been provided.
        It uses state options to pick defaults.
This function is used to populate `self.write_strategies` if by set-state time none have been provided.
        It uses state options to pick defaults.
This function is used to populate self . write_strategies if by set - state time none have been provided . It uses state options to pick defaults .
def _create_default_write_strategies(self):
        """
        This function is used to populate `self.write_strategies` if by set-state time none have been provided.
        It uses state options to pick defaults.
        """
        self.write_strategies = [ ]
        if options.APPROXIMATE_MEMORY_INDICES in self.state.options:
            if options.SYMBOLIC_WRITE_ADDRESSES not in self.state.options:
                # we try to resolve a unique solution by approximation
                self.write_strategies.append(
                    concretization_strategies.SimConcretizationStrategySingle(exact=False),
                )
            else:
                # we try a solution range by approximation
                self.write_strategies.append(
                    concretization_strategies.SimConcretizationStrategyRange(128, exact=False)
                )

        if options.SYMBOLIC_WRITE_ADDRESSES in self.state.options:
            # we try to find a range of values
            self.write_strategies.append(
                concretization_strategies.SimConcretizationStrategyRange(128)
            )
        else:
            # we try to find a range of values, but only for ASTs annotated with the multiwrite annotation
            self.write_strategies.append(concretization_strategies.SimConcretizationStrategyRange(
                128,
                filter=_multiwrite_filter
            ))

        # finally, we just grab the maximum solution
        if options.CONSERVATIVE_WRITE_STRATEGY not in self.state.options:
            self.write_strategies.append(
                concretization_strategies.SimConcretizationStrategyMax()
            )
def _create_default_write_strategies ( self ) : self . write_strategies = [ ] if options . APPROXIMATE_MEMORY_INDICES in self . state . options : if options . SYMBOLIC_WRITE_ADDRESSES not in self . state . options : # we try to resolve a unique solution by approximation self . write_strategies . append ( concretization_strategies . SimConcretizationStrategySingle ( exact = False ) , ) else : # we try a solution range by approximation self . write_strategies . append ( concretization_strategies . SimConcretizationStrategyRange ( 128 , exact = False ) ) if options . SYMBOLIC_WRITE_ADDRESSES in self . state . options : # we try to find a range of values self . write_strategies . append ( concretization_strategies . SimConcretizationStrategyRange ( 128 ) ) else : # we try to find a range of values, but only for ASTs annotated with the multiwrite annotation self . write_strategies . append ( concretization_strategies . SimConcretizationStrategyRange ( 128 , filter = _multiwrite_filter ) ) # finally, we just grab the maximum solution if options . CONSERVATIVE_WRITE_STRATEGY not in self . state . options : self . write_strategies . append ( concretization_strategies . SimConcretizationStrategyMax ( ) )