Module BO__BufferOverrunModels.NSString
val get_length : BO.BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t
Get length of NSString string
BO__BufferOverrunModels.NSString
val get_length : BO.BufferOverrunUtils.ModelEnv.model_env -> IR.Exp.t -> BO.BufferOverrunDomain.Mem.t -> BO.BufferOverrunDomain.Val.t
Get length of NSString string