(self)
Terminates a symbolic execution that was started with Project.execute().
Terminates a symbolic execution that was started with Project.execute().
Terminates a symbolic execution that was started with Project . execute () .
def terminate_execution(self):
        """
        Terminates a symbolic execution that was started with Project.execute().
        """
        self._executing = False
def terminate_execution ( self ) : self . _executing = False