Searched refs:WITNESS_COUNT (Results 1 – 2 of 2) sorted by relevance
136 #ifndef WITNESS_COUNT137 #define WITNESS_COUNT 1536 macro417 int witness_count = WITNESS_COUNT;
708 WITNESS_COUNT opt_witness.h