--- rpl/LIMITATIONS 2012/05/21 17:12:10 1.81 +++ rpl/LIMITATIONS 2012/12/21 12:09:50 1.99 @@ -1,10 +1,20 @@ RESTRICTIONS - Only sequential formatted files are supported. + Only formatted and flow files are supported. -typedef MY_TYPE... -MY_TYPE a = { .flag = true, .value = 123, .stuff = 0.456 }; +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. -Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT +EMSGSIZE dans les send() ! + +À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) +SOCKET NON FORMATÉS + +Pour OpenVMS : +Trouver les includes pour : +syslog.h +sys/select.h +sys/un.h +regex.h +termios.h Ajouter une évaluation dans GET et PUT 'X' { I } get