Searched refs:test_exptmod_bv (Results 1 – 3 of 3) sorted by relevance
75 bool test_exptmod_bv(testspec_t* t, FILE* ofp);
125 {"emodbv", 4, 1, test_exptmod_bv}, /* r4 = v(r1)^r2 mod r3 */
881 bool test_exptmod_bv(testspec_t* t, FILE* ofp) { in test_exptmod_bv() function