photo

Horst Dreßel


Last seen: 10 Monate vor |  Aktiv seit 2022

Followers: 0   Following: 0

Statistik

  • Thankful Level 2

Abzeichen anzeigen

Feeds

Anzeigen nach

Frage


how can I check checkers-activation-file versus checkers-selection-file
What's the differ between a checkers-activation-file and a checkers-selection-file ? Only the revision number in the xml-header...

mehr als ein Jahr vor | 2 Antworten | 0

2

Antworten

Frage


PolyspaceAsYouCode analyse header files
If I analyse header files with PolyspaceAsYouCode plugin I got errors if types defined in other header files. If I analyse C-fil...

mehr als ein Jahr vor | 1 Antwort | 0

1

Antwort

Frage


MISRA C2012 Amendment 1, Addentum 3
Hello, support Polyspace Bugfinder R2021b or higher the requiered extensions of MISRA2012 and how can I control the usage ? re...

mehr als ein Jahr vor | 1 Antwort | 0

1

Antwort

Frage


Import comments with downloaded results doesn't work
Why it is not possible to import results downloaded from polyspace-access to a result set generated with polyspace-bugfinder ? ...

mehr als ein Jahr vor | 1 Antwort | 0

1

Antwort

Frage


Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?
Hello, I want to preconfigure a eclipse project from the buildchain and configure the plugin settings "Use baseline from Polys...

fast 2 Jahre vor | 1 Antwort | 0

1

Antwort

Beantwortet
How can I get the Polyspace version from Polyspace as you Code plugin ?
ok, thank you for your explanation

fast 2 Jahre vor | 0

Frage


How can I get the Polyspace version from Polyspace as you Code plugin ?
With VisualStudioCode I can get a list of extension and there versions with the command "code --list-extensions --show-versions"...

fast 2 Jahre vor | 2 Antworten | 0

2

Antworten