python: Allow Python integers for mkBitVector().

Fixes cvc5#10020.
mpreiner · Sep 12, 2023 · c77d141 · c77d141
1 parent 1e01d2a
commit c77d141
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/api/python/cvc5.pxi b/src/api/python/cvc5.pxi
@@ -1458,7 +1458,7 @@ cdef class Solver:
                     "Invalid second argument to mkBitVector '{}', "
                     "expected integer value".format(size))
             term.cterm = self.csolver.mkBitVector(
-                <uint32_t> size, <uint32_t> val)
+                <uint32_t> size, <const string&> str(val).encode(), 10)
         elif len(args) == 2:
             val = args[0]
             base = args[1]