字符串比较（限定范围）
函数 mystrncmp(const char* str1,const char* str2, unsigned int n) 比较字符串 str1 和 str2 前 n 个字符的大小。当 n 大于 str1 和 str2 的长度时，只比较前 n 个字符；否则与 mystrcmp 相同。（验证时间约 17sec）
[Back to Index]
验证特点：字符串内置谓词，\is_pstring
标注说明：函数前条件：函数入口处 str1 和 str2 分别指向两个物理字符串；
函数后条件：（1）函数返回值等于0，则 str1 所指字符串和 str2 所指字符串前n个字符相同；
（2）函数返回值大于0，则 str1 所指字符串的前n个字符大于 str2 所指字符串的前n个字符；
（3）函数返回值小于0，则 str1 所指字符串的前n个字符小于 str2 所指字符串的前n个字符。
程序样例 
