goto-symex → goto-programs Relation

File in src/goto-symex	Includes file in src/goto-programs
build_goto_trace.cpp	goto_functions.h
build_goto_trace.cpp	rewrite_union.h
precondition.h	goto_program.h
solver_hardness.h	goto_program.h
ssa_step.h	goto_trace.h
symex_target.h	goto_program.h