C++ (Cpp) cstrcspn Examples

Example #1

File: cstrcspn-alloca-1.c Project: kfriedberger/sv-benchmarks

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);
}

Example #2

File: cstrcspn_malloc_true-termination.c Project: JiaxiangLIU/elts2maude

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;
}