engine → irep2 Relation

File in src/goto-symex/engine	Includes file in src/irep2
builtin_functions / bounded_math.cpp	irep2_utils.h
builtin_functions / cpp_memory.cpp	irep2.h
dynamic_allocation.cpp	irep2.h
dynamic_allocation.h	irep2.h
goto_symex.h	irep2.h
builtin_functions / io.cpp	irep2.h
builtin_functions / memory_alloc.cpp	irep2.h
builtin_functions / memory_ops.cpp	irep2.h
builtin_functions / memory_ops.cpp	irep2_utils.h
builtin_functions / misc.cpp	irep2.h
builtin_functions / object_size.cpp	irep2.h
builtin_functions / python_builtins.cpp	irep2.h
builtin_functions / run_builtin.cpp	irep2.h
symex_assign.cpp	irep2.h
symex_dereference.cpp	irep2.h
symex_goto.cpp	irep2.h
symex_main.cpp	irep2.h
symex_other.cpp	irep2.h
symex_other.cpp	irep2_utils.h
symex_stack.cpp	irep2.h
builtin_functions / threads.cpp	irep2.h
builtin_functions / va_arg.cpp	irep2.h
builtin_functions / witness.cpp	irep2.h