Community Profile

photo

Debadutta Patra


Attivo dal 2017

Statistiche

Content Feed

Visto da

Domanda


How to enable automatic stubbing option in 2016b polyspace code prover?
In 2016b polyspace Code Prover ,If the function definition is not there in code ,Then it is showing error.

circa 7 anni fa | 1 risposta | 0

1

risposta

Domanda


What Compiler does Polyspace uses for Compiling the code...?
I need to know what Compiler does polyspace tool uses for Compilation.Thanks for Answering.

circa 7 anni fa | 1 risposta | 1

1

risposta