scheduler → engine Relation

File in src/goto-symex/scheduler	Includes file in src/goto-symex/engine
execution_state.h	goto_symex.h
reachability_tree.cpp	goto_symex.h
reachability_tree.h	goto_symex.h