abstract-interpretation → big-int Relation

File in src/goto-programs/abstract-interpretation	Includes file in src/big-int
bitwise_bounds.h	bigint.hh