pub fn format_read_write_set_annotation(
target: &FunctionTarget<'_>,
code_offset: CodeOffset
) -> Option<String>Expand description
Return a string representation of the summary for target
pub fn format_read_write_set_annotation(
target: &FunctionTarget<'_>,
code_offset: CodeOffset
) -> Option<String>Return a string representation of the summary for target