strict digraph "tests/contract_testcases/solana/garbage_function_args.sol" {
	contract [label="contract c\ntests/contract_testcases/solana/garbage_function_args.sol:1:1-17:2"]
	g [label="function g\ncontract: c\ntests/contract_testcases/solana/garbage_function_args.sol:2:2-28\nsignature g(bytes32)\nvisibility public\nmutability nonpayable"]
	parameters [label="parameters\naddress "]
	g_4 [label="function g\ncontract: c\ntests/contract_testcases/solana/garbage_function_args.sol:5:2-28\nsignature g(bytes)\nvisibility public\nmutability nonpayable"]
	parameters_5 [label="parameters\nbytes x"]
	g_6 [label="function g\ncontract: c\ntests/contract_testcases/solana/garbage_function_args.sol:8:2-21\nsignature g()\nvisibility public\nmutability nonpayable"]
	g_7 [label="function g\ncontract: c\ntests/contract_testcases/solana/garbage_function_args.sol:11:2-24\nsignature g(int256)\nvisibility public\nmutability nonpayable"]
	parameters_8 [label="parameters\nint256 "]
	g_9 [label="function g\ncontract: c\ntests/contract_testcases/solana/garbage_function_args.sol:14:2-25\nsignature g(bool)\nvisibility public\nmutability nonpayable"]
	parameters_10 [label="parameters\nbool "]
	diagnostic [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/solana/garbage_function_args.sol:1:1-17:2"]
	diagnostic_13 [label="'rubbish' not found\nlevel Error\ntests/contract_testcases/solana/garbage_function_args.sol:3:11-18"]
	diagnostic_14 [label="'meh' not found\nlevel Error\ntests/contract_testcases/solana/garbage_function_args.sol:6:15-18"]
	diagnostic_15 [label="'foo' not found\nlevel Error\ntests/contract_testcases/solana/garbage_function_args.sol:9:9-12"]
	diagnostic_16 [label="'oo' not found\nlevel Error\ntests/contract_testcases/solana/garbage_function_args.sol:12:10-12"]
	diagnostic_17 [label="'foo' not found\nlevel Error\ntests/contract_testcases/solana/garbage_function_args.sol:15:14-17"]
	contracts -> contract
	contract -> g [label="function"]
	g -> parameters [label="parameters"]
	contract -> g_4 [label="function"]
	g_4 -> parameters_5 [label="parameters"]
	contract -> g_6 [label="function"]
	contract -> g_7 [label="function"]
	g_7 -> parameters_8 [label="parameters"]
	contract -> g_9 [label="function"]
	g_9 -> parameters_10 [label="parameters"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_13 [label="Error"]
	diagnostics -> diagnostic_14 [label="Error"]
	diagnostics -> diagnostic_15 [label="Error"]
	diagnostics -> diagnostic_16 [label="Error"]
	diagnostics -> diagnostic_17 [label="Error"]
}