solidity-frontend → c2goto Relation

File in src/solidity-frontend	Includes file in src/c2goto
pattern_check.cpp	headers / stdlib.h
solidity_language.cpp	cprover_library.h