angr/state_plugins/history.py
def trim(self):
        """
        Discard the ancestry of this state.
        """
        new_hist = self.copy({})
        new_hist.parent = None
        self.state.register_plugin('history', new_hist)

        Discard the ancestry of this state.
        
Discard the ancestry of this state.
Discard the ancestry of this state .
def trim(self):
        new_hist = self.copy({})
        new_hist.parent = None
        self.state.register_plugin('history', new_hist)
def trim ( self ) : new_hist = self . copy ( { } ) new_hist . parent = None self . state . register_plugin ( 'history' , new_hist )
Discard the ancestry of this state.
Discard the ancestry of this state .
"""
        Discard the ancestry of this state.
        """
self