With a new benchexec all witnesses contain a link to an origin sources like './cil.i', as the path was get from yml files, which are usually close to a cil file. Thus, the visualization does not work, as it uses simlinks. An example attached (note, there is one manually changed witness).
vmordan
commented
4 years ago
With a new benchexec all witnesses contain a link to an origin sources like './cil.i', as the path was get from yml files, which are usually close to a cil file. Thus, the visualization does not work, as it uses simlinks. An example attached (note, there is one manually changed witness).