goto-instrument → wmm Relation

File in src/goto-instrument	Includes file in src/goto-instrument/wmm
goto_instrument_parse_options.h	weak_memory.h