
import simuvex

######################################
# Caller
######################################


class Caller(simuvex.SimProcedure):
    """
    Caller stub. Creates a Ijk_Call exit to the specified function
    """

    def run(self, target_addr=None):
        self.call(target_addr, [ ], self.after_call)

    def after_call(self):
        pass


import simuvex

######################################
# Caller
######################################


class Caller(simuvex.SimProcedure):
    """
    Caller stub. Creates a Ijk_Call exit to the specified function
    """

    NO_RET = True

    def run(self, target_addr=None):
        self.call(target_addr, [ ], self.after_call)

    def after_call(self):
        pass

Make sure Caller does not return
Make sure Caller does not return

  
  import simuvex
  
  ######################################
  # Caller
  ######################################
  
  
  class Caller(simuvex.SimProcedure):
      """
      Caller stub. Creates a Ijk_Call exit to the specified function
      """
  
+     NO_RET = True
+ 
      def run(self, target_addr=None):
          self.call(target_addr, [ ], self.after_call)
  
      def after_call(self):
          pass
  
Make sure Caller does not return
## Code Before:

import simuvex

######################################
# Caller
######################################


class Caller(simuvex.SimProcedure):
    """
    Caller stub. Creates a Ijk_Call exit to the specified function
    """

    def run(self, target_addr=None):
        self.call(target_addr, [ ], self.after_call)

    def after_call(self):
        pass

## Instruction:
Make sure Caller does not return
## Code After:

import simuvex

######################################
# Caller
######################################


class Caller(simuvex.SimProcedure):
    """
    Caller stub. Creates a Ijk_Call exit to the specified function
    """

    NO_RET = True

    def run(self, target_addr=None):
        self.call(target_addr, [ ], self.after_call)

    def after_call(self):
        pass
