Después de charlar con Diego y Dani llegamos a la conclusión de que por lo pronto iremos para adelante sin procedimientos, volviendo a la vieja idea de los bloques con pre y postcondiciones.
Hoy programé un rato y finalmente lo tengo andando: verifica loops y todo.
Además me contestó la gente de CVC3, diciendo que todavía no tuvieron tiempo de ver un bug report que les envié, pero que cualquier novedad me lo harían saber.
Hoy programé un rato y finalmente lo tengo andando: verifica loops y todo.
Además me contestó la gente de CVC3, diciendo que todavía no tuvieron tiempo de ver un bug report que les envié, pero que cualquier novedad me lo harían saber.
No hay comentarios.:
Publicar un comentario