Change BVS length parameter

Author: spshah1701

tests/test_strings.py

@@ -270,7 +270,7 @@ def test_index_of_simplification(self):
 
     def test_index_of_symbolic_start_idx(self):
         str_symb = claripy.StringS("symb_index_of", explicit_name=True)
-        start_idx = claripy.BVS("symb_start_idx", 32, explicit_name=True)
+        start_idx = claripy.BVS("symb_start_idx", 8, explicit_name=True)
 
         solver = self.get_solver()