Alessandro Samori
Followers: 0 Following: 0
Estadísticas
3 Preguntas
0 Respuestas
CLASIFICACIÓN
89.020
of 289.927
REPUTACIÓN
0
CONTRIBUCIONES
3 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
66.67%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 19.607
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 144.312
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
MISRA C:2012 Rule 10.3 clarification
Hello, I need your support on a MISRA violation using polyspace bug finder. I tried to cast the following variables: -in.ecbk...
alrededor de 2 años hace | 1 respuesta | 0
1
respuestaPregunta
Polyspace in Jenkins. How to reduce the size of the generated options file?
We are using Polyspace with the automation server Jenkins. The method to generate automatically a Polyspace options_file, is to ...
más de 2 años hace | 1 respuesta | 0
1
respuestaPregunta
Polyspace Code Prover doesn't create a report after a remote execution via command line
I'm trying to run Polyspace Code Prover by command line in Windows. I create an "-options-file" to configure Polyspace. I'm usin...
más de 2 años hace | 1 respuesta | 0