diff --git a/tests/test_strings.py b/tests/test_strings.py index a8435b35a..e5f67082e 100644 --- a/tests/test_strings.py +++ b/tests/test_strings.py @@ -289,7 +289,7 @@ def test_index_of_symbolic_start_idx(self): self.assertTrue(32 < s.index("an") < 38) def test_str_to_int(self): - str_symb = claripy.StringS("symb_strtoint", 4, explicit_name=True) + str_symb = claripy.StringS("symb_strtoint", explicit_name=True) res = claripy.StrToInt(str_symb) solver = self.get_solver() target_num = 12 if KEEP_TEST_PERFORMANT else 100000