Other Parts Discussed in Thread: HALCOGEN
Hi,
I am using the SAFETI-HALCOGEN-CSP v04.07.01.
The User's Guide for the HALCoGen-CSP Without LDRA (SPNU633–January 2020) states in section
"12.4 From Where Do I See the Instrumented Code?
The Instrumented code is saved in the <HALCoGen Project Dir>/LDRABackup/<TestName> folder."
I do not have a folder called <HALCoGen Project Dir>/LDRABackup/<TestName> but I do have a folder called <HALCoGen Project Dir>/LDRABackups/<TestName>.(i.e. with an "s")
However, that folder does not contain any instrumented code. It just contains an out file.
Where can I actually find the instrumented code?
Thank you,
Andrew