Runtime → include Relation

File in lib/Tools/circt-bmc/Runtime	Includes file in include
BMCTrace.cpp	circt / Tools / circt-bmc / BMCTrace.h