int main() { int length1 = __VERIFIER_nondet_int(); int length2 = __VERIFIER_nondet_int(); if (length1 < 1) { length1 = 1; } if (length2 < 1) { length2 = 1; } char* nondetString1 = (char*) alloca(length1 * sizeof(char)); char* nondetString2 = (char*) alloca(length2 * sizeof(char)); for(int i = 0; i < length1 - 1; i++) { nondetString1[i] = __VERIFIER_nondet_char(); } for(int i = 0; i < length2 - 1; i++) { nondetString2[i] = __VERIFIER_nondet_char(); } nondetString1[length1-1] = '\0'; nondetString2[length2-1] = '\0'; return cstrcspn(nondetString1,nondetString2); }
int main() { int length1 = __VERIFIER_nondet_int(); int length2 = __VERIFIER_nondet_int(); if (length1 < 1) { length1 = 1; } if (length2 < 1) { length2 = 1; } char* nondetString1 = (char*) malloc(length1 * sizeof(char)); char* nondetString2 = (char*) malloc(length2 * sizeof(char)); nondetString1[length1-1] = '\0'; nondetString2[length2-1] = '\0'; int res = cstrcspn(nondetString1,nondetString2); free(nondetString1); free(nondetString2); return res; }