photo

Birgit Roithner


Last seen: más de 3 años hace Con actividad desde 2018

Followers: 0   Following: 0

Estadística

  • Thankful Level 2
  • Thankful Level 1

Ver insignias

Feeds

Ver por

Pregunta


Import comments written in Polyspace Access
Hello, I´m starting to use Polyspace Access in a continuous integration workflow and want to know when and how comments which h...

alrededor de 4 años hace | 1 respuesta | 0

1

respuesta

Pregunta


Ist it possible to switch to other findings in Source Code panel of Polyspace Access?
Hello, I was wondering if it is not possible in Polyspace Code Prover Access R2020a to switch between findings in the "Source C...

alrededor de 4 años hace | 1 respuesta | 0

1

respuesta

Pregunta


Is it possible to set integer enumeration as an option in Polyspace configuration?
Hello, the tasking compiler allows the option "integer enumeration" where the compiler always treats enum-types as int as defin...

más de 4 años hace | 2 respuestas | 0

2

respuestas

Pregunta


Why are the metrics in the reports not given per file but only the project min and max values?
Hello, we´re using Polyspace R2015b CodeProver and generating reports to automaticalle read out the most important information ...

casi 6 años hace | 1 respuesta | 0

1

respuesta