cbmc

unsigned search_ok（char * s，unsigned len）{如果（len＆lt; 2）返回len; //找不到（unsigned i = 0; i

#算法#morris#cbmc