Home | History | Annotate | Download | only in 624-checker-stringops 
      1 Verify some properties of string operations represented by intrinsics.
      2