manticore/core/executor.py
def _add_state_callback(self, state_id, state):
        """ Save summarize(state) on policy shared context before
            the state is stored
        """
        summary = self.summarize(state)
        if summary is None:
            return
        with self.locked_context('summaries', dict) as ctx:
            ctx[state_id] = summary
def _add_state_callback(self, state_id, state):
        """ Save summarize(state) on policy shared context before
            the state is stored
        """
        summary = self.summarize(state)
        if summary is None:
            return
        with self.locked_context('summaries', dict) as ctx:
            ctx[state_id] = summary
def _add_state_callback ( self , state_id , state ) : summary = self . summarize ( state ) if summary is None : return with self . locked_context ( 'summaries' , dict ) as ctx : ctx [ state_id ] = summary
Save summarize(state) on policy shared context before
            the state is stored
Save summarize ( state ) on policy shared context before the state is stored