This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

About Use SafeTi-HALCoGen-CSP (Build Error - by "inszt" file)

Other Parts Discussed in Thread: HALCOGEN, SAFETI-HALCOGEN-CSP

When use  SafeTi-HALCoGen-CSP, the "inszt_xxx.c" files are generated automatically in HALCoGen source which is used as test code.

After "inszt_xxx.c" files are generated, the Build is failed.

My question is,

1. Why "inszt_xxx.c" files are generated?

2. How can I block  "inszt_xxx.c" files generated? if is impossible, How can I except  "inszt_xxx.c" files in build?

Regards,

Minwoo