Debadutta Patra

Attivo dal 2017

Followers: 0 Following: 0

Statistica

Feeds

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.

oltre 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.

quasi 8 anni fa | 1 risposta | 1

1

risposta