C++ (Cpp) CREST_charの例

コード例 #1

ファイル: print_tokens2.c プロジェクト: encore-zhou/DyVerifyUsingCrest

int fuzzgetc(FILE * stream){
    char tmp;
    if(_crest_count<=MYMAX){
        if(fuzz_crest_arr[_crest_count]=='\0'){
            CREST_char(tmp);
            fuzz_crest_arr[_crest_count]=tmp;
        }else{
            tmp=fuzz_crest_arr[_crest_count];
        }
        _crest_count++;
        return (int)tmp;
    }else{
        return EOF;
    }
}

コード例 #2

ファイル: CrestTests.c プロジェクト: neutrinog/Crest---Tarantula

void TestExample3(CuTest *tc) {
   
   // Declare variables
   int var1, var2;
   char var3;
   
   // Let Crest generate input
   CREST_int(var1);   
   CREST_int(var2);
   CREST_char(var3);
   
   // execute your code
	if(var1 == 12) {
	   if(var2 == 2) {
	      if(var3 == 'q') {
	         printf("Goal!");
	      }
	   }
	}
}