Searched refs:x_array_2_state_1 (Results 1 – 2 of 2) sorted by relevance
622 svBitVecVal x_array_2_state_1[1]; in check_exports() local789 e_array_2_state_1(x_array_2_state_1); in check_exports()790 if (x_array_2_state_1[0] != (n % 2)) stop(); in check_exports()
824 svBitVecVal x_array_2_state_1[1]; in check_exports() local1065 x_array_2_state_1[0] = n % 2; in check_exports()1077 e_array_2_state_1(x_array_2_state_1); in check_exports()1078 if ((x_array_2_state_1[0] & 1) != !(n % 2)) stop(); in check_exports()