Add a message to a specific instruction by using (default) the index of the address if specified :param msg: the message :type msg: string :param idx: index of the instruction (the position in the list of the instruction) :type idx: int :param off: a
(self, msg, idx, off=None)
source not stored for this graph (policy: none)
no test coverage detected