Searched refs:NUM_ARCH (Results 1 – 2 of 2) sorted by relevance
196 #define NUM_ARCH (CTX_ARCH_MCSAT+1) macro
4817 static const uint32_t arch2theories[NUM_ARCH] = {4855 static const uint8_t arch_components[NUM_ARCH] = {