Statistica
All
RANK
282.843
of 300.381
REPUTAZIONE
0
CONTRIBUTI
5 Domande
0 Risposte
ACCETTAZIONE DELLE RISPOSTE
20.0%
VOTI RICEVUTI
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Feeds
Domanda
Disable some (specific) orange checks in Code Prover
Hello, I would like to know if it's possible to disable some specific orange checks in the Polyspace Code Prover execution (may...
oltre 3 anni fa | 1 risposta | 0
1
rispostaDomanda
Problems to execute qualkitdo_codeproverserver on Centos 7
Hello, I am trying to run the qualkitdo_codeproverserver_tcp.sh to Polyspace Code Prover R2021a on Centos 7, but I have had t...
oltre 3 anni fa | 0 risposte | 0
0
risposteRisolto
Times 2 - START HERE
Try out this test problem first. Given the variable x as your input, multiply it by two and put the result in y. Examples:...
quasi 4 anni fa
Domanda
strange identifier strings in Embedded Coder generation
Hello everybody, When I generate code for a Simulink Model (Model.slx) I obtain in the file "Model.h" several C-structs with w...
oltre 6 anni fa | 0 risposte | 0
0
risposteDomanda
MISRA-C-2012
I generate code with Embedded Coder with the objective of MISRA-C-2012 (It is the only 'generation objective' I set in this gene...
quasi 7 anni fa | 1 risposta | 0
1
rispostaDomanda
simEvents cache model and simulation
I would like to simulate with simEvents the behaviour of a Cache memory or MMU in low level. Is there any example where I can ...
quasi 7 anni fa | 1 risposta | 0
