Exemplo n.º 1
0
 public static InstructionStatistics GetInstructionStatistics(this Ensures node)
 {
     return(node.GetMetadata <InstructionStatistics>((int)Annotation.AnnotationIndex.PROFILE_DATA));
 }