Searched refs:z3_inputs_d (Results 1 – 1 of 1) sorted by relevance
257 uint64_t z3_inputs_d[] = {0xffffffffffffffd6, 0xfedcba9876543210}; in TEST_SVE() local258 ASSERT_EQUAL_SVE(z3_inputs_d, z3.VnD()); in TEST_SVE()