photo

Tommy


Con actividad desde 2014

Followers: 0   Following: 0

Mensaje

Estadística

  • Thankful Level 1

Ver insignias

Feeds

Ver por

Pregunta


Results/Polyspace-Doc/*.pdf shows only #### instead of text - font problem?
I have upgraded our Polyspace machine from CentOS-5 to CentOS-7 and reinstalled Polyspace 2013a from scratch. Everything works ...

casi 9 años hace | 0 respuestas | 0

0

respuestas

Pregunta


Why would polyspace report "memset is dead code"
After the "Intermediate" part is done, the Full Log shows memset is dead code (along with other Standard C functions...

más de 10 años hace | 1 respuesta | 0

1

respuesta

Pregunta


polyspace: best practice for stubbing functions that exit?
I'm not sure what the best practice is with respect to stubbing functions that exit/terminate the program. Consider a reboot() f...

más de 10 años hace | 1 respuesta | 1

1

respuesta

Pregunta


polyspace: color of underlined tokens in the source pane
I'm trying to understand the different kinds of underlining Polyspace provides in the "Source" pane of the GUI. Obviously, solid...

más de 10 años hace | 1 respuesta | 0

1

respuesta