strict digraph "tests/contract_testcases/substrate/functions/stray_semicolon_01.sol" {
	a [label="name:a\ncontract: x\ntests/contract_testcases/substrate/functions/stray_semicolon_01.sol:1:30-31\nfield name:f1 ty:uint32"]
	contract [label="contract x\ntests/contract_testcases/substrate/functions/stray_semicolon_01.sol:1:1-49"]
	diagnostic [label="found abstract contract 'x'\nlevel Debug\ntests/contract_testcases/substrate/functions/stray_semicolon_01.sol:1:1-49"]
	diagnostic_6 [label="stray semicolon\nlevel Error\ntests/contract_testcases/substrate/functions/stray_semicolon_01.sol:1:46-47"]
	structs -> a
	contracts -> contract
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_6 [label="Error"]
}
