goto-symex → goto-programs Relation

File in src/goto-symex	Includes file in src/goto-programs
engine / goto_symex.h	goto_functions.h
engine / goto_symex.h	abstract-interpretation / interval_domain.h
engine / builtin_functions / memory_alloc.cpp	destructor.h
equation / slice.h	property_verdict.h
equation / symex_target.h	goto_program.h
equation / symex_target_equation.h	goto_program.h
scheduler / reachability_tree.cpp	goto_functions.h
scheduler / reachability_tree.h	goto_program.h
state / goto_symex_state.h	goto_functions.h
trace / goto_trace.h	goto_program.h
trace / sarif.h	dead_store_advisory.h