strict digraph "tests/contract_testcases/substrate/inheritance/test_virtual_02.sol" {
	contract [label="contract c\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:2:9-5:10"]
	test [label="function test\ncontract: c\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:3:13-43\nsignature test()\nvisibility public\nmutability nonpayable\nvirtual"]
	test2 [label="function test2\ncontract: c\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:4:13-44\nsignature test2()\nvisibility public\nmutability nonpayable\nvirtual"]
	diagnostic [label="contract should be marked 'abstract contract' since it has 2 functions with no body\nlevel Error\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:2:9-17"]
	note [label="location of function 'test' with no body\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:3:13-43"]
	note_7 [label="location of function 'test2' with no body\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:4:13-44"]
	diagnostic_8 [label="found contract 'c'\nlevel Debug\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:2:9-5:10"]
	diagnostic_9 [label="contract 'c' missing override for function 'test'\nlevel Error\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:2:9-5:10"]
	note_10 [label="declaration of function 'test'\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:3:13-43"]
	diagnostic_11 [label="contract 'c' missing override for function 'test2'\nlevel Error\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:2:9-5:10"]
	note_12 [label="declaration of function 'test2'\ntests/contract_testcases/substrate/inheritance/test_virtual_02.sol:4:13-44"]
	contracts -> contract
	contract -> test [label="function"]
	contract -> test2 [label="function"]
	diagnostics -> diagnostic [label="Error"]
	diagnostic -> note [label="note"]
	diagnostic -> note_7 [label="note"]
	diagnostics -> diagnostic_8 [label="Debug"]
	diagnostics -> diagnostic_9 [label="Error"]
	diagnostic_9 -> note_10 [label="note"]
	diagnostics -> diagnostic_11 [label="Error"]
	diagnostic_11 -> note_12 [label="note"]
}
