C++ (Cpp) __VERIFIER_nondet_String 예제들

예제 #1

파일: rec_strcopy_malloc_true-termination.c 프로젝트: Heizmann/sv-benchmarks

int main() {
	int length = __VERIFIER_nondet_int();
    if (length < 1) {
        length = 1;
    }

	char *original = __VERIFIER_nondet_String(length);
	
	
    char *res = rec_strcopy(original, length);
	free(original);
	free(res);
}

예제 #2

파일: svcomp34.c 프로젝트: blexim/synth

int main()
{
  cstrpbrk(__VERIFIER_nondet_String(), __VERIFIER_nondet_String());
  return 0;
}