Frama-c linux [Cerrado]

ez-rmk 5 Publicaciones sábado, 10 de abril de 2010Fecha de inscripción domingo, 18 de abril de 2010 Última intervención - 12 abr 2010 a las 21:31 - Última respuesta: ez-rmk 5 Publicaciones sábado, 10 de abril de 2010Fecha de inscripción domingo, 18 de abril de 2010 Última intervención
- 14 abr 2010 a las 23:35
Buenas Gente!!,mi problema es el siguiente: intento utilizar el Frama-c y no puedo. lo abre pero no se como cargar un nuevo proyecto para empezar a programar, no me deja, me aparece siempre la misma ventana "Please select a file in the left panel or start a new project".Intente de mil maneras y no hay caso. :(... espero que me puedame ayudar. Gracias!

si saben de algun otro programa para linux ubuntu 9.10 en C joya.

Ver más 

2 respuestas

0
Gracias
Frama-C solamente puede servir para la *verificación* de los C programas. No puede ser utilizado para programar.

Para programar en C, personalmente recomendaría Emacs.

[apologies, I have not used Spanish in 15 years]
ez-rmk 5 Publicaciones sábado, 10 de abril de 2010Fecha de inscripción domingo, 18 de abril de 2010 Última intervención - 14 abr 2010 a las 23:35
0
Gracias
Gracias pa. Ya lo prueboo^^