util → goto-programs Relation

File in src/util	Includes file in src/goto-programs
arith / ieee_float.cpp	abstract-interpretation / interval_template.h
irep / migrate.cpp	goto_binary_reader.h