Searched refs:WITNESS_COUNT (Results 1 – 2 of 2) sorted by relevance
134 #ifndef WITNESS_COUNT135 #define WITNESS_COUNT 1536 macro418 int witness_count = WITNESS_COUNT;
709 WITNESS_COUNT opt_witness.h