Denunciar

Frama-c linux [Cerrado]

Haz una pregunta ez-rmk 5Publicaciones sábado, 10 de abril de 2010Fecha de inscripción domingo, 18 de abril de 2010 Última intervención - Última respuesta: 14 abr 2010 a las 23:35 por ez-rmk
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.

Vota
+0
plus moins
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]
Vota
+0
plus moins
Gracias pa. Ya lo prueboo^^

Los miembros obtienen más respuestas que los usuarios anónimos.

Ser miembro te permite llevar un seguimiento detallado de tus consultas.

Ser miembro te permite disfrutar de opciones adicionales.

¿Todavía no eres usuario?

¡Inscríbete, es gratis y toma menos de un minuto!