Estadística
CLASIFICACIÓN
134.047
of 300.338
REPUTACIÓN
0
CONTRIBUCIONES
2 Preguntas
1 Respuesta
ACEPTACIÓN DE RESPUESTAS
0.0%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 20.922
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 168.149
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
Running polyspace-bugfinder on manually created .opt file(s)
I could have looked at the manual also, it turns out -lang has a C-CPP possibility
casi 6 años hace | 0
Pregunta
Running polyspace-bugfinder on manually created .opt file(s)
Hello I create polyspace-configure results file one-by-one, for each source file, since I know what the parameters are. Then ...
casi 6 años hace | 1 respuesta | 0
1
respuestaPregunta
I am trying to run polyspace-configure giving the cl command line as argument, however it is very slow, is this expected ?
Example generated opt file #-------------------------- # Polyspace options file generated by polyspace-configure # Build co...
más de 6 años hace | 0 respuestas | 0
