cprover

goto-programs → linking Relation

File in goto-programsIncludes file in linking
builtin_functions.cppzero_initializer.h
read_goto_binary.cpplinking_class.h