[
	{
		"file" : "prof1.ttcn",
		"functions" : [
			{
				"name" : "f1",
				"start line" : 20,
				"execution count" : 3,
				"total time" : 0.000000
			},
			{
				"name" : "tc1",
				"start line" : 24,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"name" : "control",
				"start line" : 31,
				"execution count" : 0,
				"total time" : 0.000000
			}
		],
		"lines" : [
			{
				"number" : 18,
				"execution count" : 3,
				"total time" : 0.000000
			},
			{
				"number" : 20,
				"execution count" : 3,
				"total time" : 0.000000
			},
			{
				"number" : 21,
				"execution count" : 3,
				"total time" : 0.000000
			},
			{
				"number" : 24,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 25,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 26,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 27,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 28,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 31,
				"execution count" : 0,
				"total time" : 0.000000
			},
			{
				"number" : 32,
				"execution count" : 0,
				"total time" : 0.000000
			}
		]
	},
	{
		"file" : "prof2.ttcn",
		"functions" : [
			{
				"name" : "f2",
				"start line" : 18,
				"execution count" : 2,
				"total time" : 0.000000
			},
			{
				"name" : "t1",
				"start line" : 27,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"name" : "tc2",
				"start line" : 29,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"name" : "control",
				"start line" : 37,
				"execution count" : 0,
				"total time" : 0.000000
			}
		],
		"lines" : [
			{
				"number" : 18,
				"execution count" : 2,
				"total time" : 0.000000
			},
			{
				"number" : 19,
				"execution count" : 2,
				"total time" : 0.000000
			},
			{
				"number" : 20,
				"execution count" : 0,
				"total time" : 0.000000
			},
			{
				"number" : 23,
				"execution count" : 2,
				"total time" : 0.000000
			},
			{
				"number" : 27,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 29,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 30,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 31,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 32,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 33,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 34,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 37,
				"execution count" : 0,
				"total time" : 0.000000
			},
			{
				"number" : 38,
				"execution count" : 0,
				"total time" : 0.000000
			}
		]
	},
	{
		"file" : "prof3.ttcn",
		"functions" : [
			{
				"name" : "f3",
				"start line" : 19,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"name" : "tc3",
				"start line" : 26,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"name" : "control",
				"start line" : 36,
				"execution count" : 1,
				"total time" : 0.000000
			}
		],
		"lines" : [
			{
				"number" : 19,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 21,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 22,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 23,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 26,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 28,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 29,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 30,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 31,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 32,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 33,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 36,
				"execution count" : 1,
				"total time" : 0.000000
			},
			{
				"number" : 37,
				"execution count" : 1,
				"total time" : 0.000000
			}
		]
	}
]
