Result folder name Polyspace Code Prover 2017b

1 view (last 30 days)
sudarshan n
sudarshan n on 12 Nov 2018
Edited: sudarshan non 13 Nov 2018
whenever I generate a result folder, it will be always prefixed with CP_ i.e CP_Result_x{where x is 0,1,2..n}. How can I get rid of the prefix CP_? I checked the Tools > Preferences->Project and Results Folder, Default prefix is set to 'Result'. Not sure where this CP_ is being added to the Folder name. Can you please suggest me how can I remove this prefix _CP from result folder name.

Answers (0)