Other Parts Discussed in Thread: SAFETI-HALCOGEN-CSP, HALCOGEN
Is it correct that the SafeTI-HALCoGen-CSP tool should be able to accomplish the following: (?)
- Process a HALCoGen project file and generate appropriate test cases depending on the project setup
- Instrument and run test cases (either on hardware or as unit tests)
- Produce coverage report
Is the latest version of SafeTI-HALCoGen-CSP compatible with the LDRA tool and runs properly "out-of-the-box"?