User-datas are not anymore generated. Instead the user has include into the file user_headers.h the same headers included in system_under_test.c
User-datas are not anymore generated. Instead the user has include into the file user_headers.h the same headers included in system_under_test.c