id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
3904	Coverage test for FMU generation	Francesco Casella	Martin Sjölund	"I am encountering many cases of broken FMU generation for models where the normal model building process works fine.

I'm not sure how many FMU generation test cases we have in the testsuite, but judging from the frequency with which FMU generation was broken in the past, they are probably not enough.

Should we add some coverage test that go through all the models with a StopTime annotation in some libraries, and generate FMUs for them? We could start from the MSL and ModelicaTest, then possibly extend it to other libraries."	enhancement	closed	high	maint/1.12	Testing Framework		fixed