strict digraph "tests/contract_testcases/evm/public_internal_function.sol" {
	A [label="name:A\ncontract: foo\ntests/contract_testcases/evm/public_internal_function.sol:2:12-13\nfield name:a ty:function() internal"]
	contract [label="contract foo\ntests/contract_testcases/evm/public_internal_function.sol:1:1-7:2"]
	diagnostic [label="found contract 'foo'\nlevel Debug\ntests/contract_testcases/evm/public_internal_function.sol:1:1-7:2"]
	diagnostic_6 [label="variable of type internal function cannot be 'public'\nlevel Error\ntests/contract_testcases/evm/public_internal_function.sol:6:5-8"]
	structs -> A
	contracts -> contract
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_6 [label="Error"]
}
