tried solving it, still failed using validate script

Author: sa-llo

lab8/solve.py

@@ -8,7 +8,7 @@ def main():
     project = angr.Project('./chal', auto_load_libs=False)
 
     input_len = 8
-    input_chars = [claripy.BVS('', 8) for _ in range(input_len)]
+    input_chars = [claripy.BVS(f'c{i}', 8) for i in range(input_len)]
     sym_input = claripy.Concat(*input_chars)
     full_input = claripy.Concat(sym_input, claripy.BVV(0, 8))
 
@@ -19,6 +19,7 @@ def main():
         state.solver.add(c <= 0x7e)
 
     simgr = project.factory.simgr(state)
+
     simgr.explore(
         find=lambda s: b"CTF{" in s.posix.dumps(1),
         avoid=lambda s: b"Wrong key" in s.posix.dumps(1)