The SAFETI-HALCOGEN-CSP-DEMO includes a report with a coverage <100%.
Is the justification for code that was not tested included in SAFETI-HALCOGEN-CSP?
Are the tests for generated assembler files included in SAFETI-HALCOGEN-CSP?
Best Regards,
Heiko