id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4445	new coverage test is not working properly	Lennart Ochel	Martin Sjölund	"The latest results from the new coverage test are a bit strange. It seems to miss the impact on the ThermoSysPro and probably other libraries as well: [http://libraries.openmodelica.org/branches/history/master/2017-06-12%2011:16:56..2017-06-13%2003:48:54.html 2017-06-12 11:16:56 to 2017-06-13 03:48:54]

ThermoSysPro went up by 3 tests due to that specific commit."	defect	closed	high		Testing Framework		fixed	ThermoSysPro	Patrick Täuber