strict digraph "tests/contract_testcases/substrate/loops/test_infinite_loop.sol" {
	contract [label="contract test3\ntests/contract_testcases/substrate/loops/test_infinite_loop.sol:1:1-10:10"]
	halting_problem [label="function halting_problem\ncontract: test3\ntests/contract_testcases/substrate/loops/test_infinite_loop.sol:5:13-63\nsignature halting_problem()\nvisibility public\nmutability nonpayable"]
	returns [label="returns\nuint32 "]
	diagnostic [label="found contract 'test3'\nlevel Debug\ntests/contract_testcases/substrate/loops/test_infinite_loop.sol:1:1-10:10"]
	diagnostic_6 [label="unreachable statement\nlevel Error\ntests/contract_testcases/substrate/loops/test_infinite_loop.sol:8:17-25"]
	contracts -> contract
	contract -> halting_problem [label="function"]
	halting_problem -> returns [label="returns"]
	diagnostics -> diagnostic [label="Debug"]
	diagnostics -> diagnostic_6 [label="Error"]
}
