I can’t able to see the orange, gray, red or green checks. Instead I can see only the code metrics.
I’m facing the issue i.e., I’m running the polyspace code prover throught the commend prompt. I used all the configuration in the option.txt file. Through that option.txt file i’m start compling by using this cmd ("C:Program FilesPOLYSPACER2023apolyspacebinpolyspace-code-prover" ^ -options-file Options.txt ^ -scheduler CHE6-SV00106 ^ -results-dir "C:UsersaallimutDocumentsSWEET500cb1146_vcore_main_devResult"). Compliation is done sucessfully and the code is pushed to the server. After successful complition of run I Checked the result, It’s only showing the code metrix, not showing any checks in the dashboard.I’m facing the issue i.e., I’m running the polyspace code prover throught the commend prompt. I used all the configuration in the option.txt file. Through that option.txt file i’m start compling by using this cmd ("C:Program FilesPOLYSPACER2023apolyspacebinpolyspace-code-prover" ^ -options-file Options.txt ^ -scheduler CHE6-SV00106 ^ -results-dir "C:UsersaallimutDocumentsSWEET500cb1146_vcore_main_devResult"). Compliation is done sucessfully and the code is pushed to the server. After successful complition of run I Checked the result, It’s only showing the code metrix, not showing any checks in the dashboard. I’m facing the issue i.e., I’m running the polyspace code prover throught the commend prompt. I used all the configuration in the option.txt file. Through that option.txt file i’m start compling by using this cmd ("C:Program FilesPOLYSPACER2023apolyspacebinpolyspace-code-prover" ^ -options-file Options.txt ^ -scheduler CHE6-SV00106 ^ -results-dir "C:UsersaallimutDocumentsSWEET500cb1146_vcore_main_devResult"). Compliation is done sucessfully and the code is pushed to the server. After successful complition of run I Checked the result, It’s only showing the code metrix, not showing any checks in the dashboard. no checks found MATLAB Answers — New Questions









