(self, left_state, right_state)
return self.set_simgr(simgr)
Checks that the specified paths stay the same over the next `depth` states.
Checks that the specified paths stay the same over the next `depth` states.
Checks that the specified paths stay the same over the next depth states .
def set_states(self, left_state, right_state):
        """
        Checks that the specified paths stay the same over the next `depth` states.
        """

        simgr = self.project.factory.simulation_manager(right_state)
        simgr.stash(to_stash='right')
        simgr.active.append(left_state)
        simgr.stash(to_stash='left')
        simgr.stash(to_stash='stashed_left')
        simgr.stash(to_stash='stashed_right')

        return self.set_simgr(simgr)
def set_states ( self , left_state , right_state ) : simgr = self . project . factory . simulation_manager ( right_state ) simgr . stash ( to_stash = 'right' ) simgr . active . append ( left_state ) simgr . stash ( to_stash = 'left' ) simgr . stash ( to_stash = 'stashed_left' ) simgr . stash ( to_stash = 'stashed_right' ) return self . set_simgr ( simgr )