Searched refs:ossFuzzThisDb (Results 1 – 1 of 1) sorted by relevance
1814 int ossFuzzThisDb = 0; /* ossFuzz value for this particular database */ in main() local2103 ossFuzzThisDb = ossFuzz; in main()2116 ossFuzzThisDb = sqlite3_column_int(pStmt,1); in main()2117 if( verboseFlag ) printf("Config: oss-fuzz=%d\n", ossFuzzThisDb); in main()2370 if( ossFuzzThisDb ){ in main()