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