C++ (Cpp) __VERIFIER_nondet_String Beispiele

Beispiel #1

Datei: rec_strcopy_malloc_true-termination.c Projekt: 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);
}

Beispiel #2

Datei: svcomp34.c Projekt: blexim/synth

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