goto-symex → goto-programs Relation

File in goto-symex	Includes file in goto-programs
goto_symex.h	goto_functions.h
goto_symex_state.h	goto_function.h
precondition.cpp	goto_model.h
symex_target.h	goto_program.h
symex_target_equation.h	goto_program.h
symex_target_equation.h	goto_trace.h