modified cgc programs have been cloned from https://github.com/Hanseltu/cgc-study/tree/main/challenges These programs are intended to be symbolically executed on KLEE, a famous symbolic execution engine. Seed files(.ktest format) files have been generated & included for each of these programs.