Searched refs:yices_zero_extend (Results 1 – 6 of 6) sorted by relevance
122 test_bounds(yices_zero_extend(t, 4)); in all_tests()
835 { "zero_extend", yices_zero_extend },
983 return yices_zero_extend(a, n); in random_zero_extend()
569 res = yicespy.yices_zero_extend(args[0], formula.bv_extend_step())
1827 __YICES_DLLSPEC__ extern term_t yices_zero_extend(term_t t, uint32_t n);
5708 EXPORTED term_t yices_zero_extend(term_t t, uint32_t n) { in yices_zero_extend() function