--- rpl/LIMITATIONS 2012/05/21 17:12:10 1.81 +++ rpl/LIMITATIONS 2012/12/20 15:32:52 1.98 @@ -1,10 +1,22 @@ 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 }; +SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite. -Ajouter { } FORALL/NEXT et <[ ]> FORALL/NEXT +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. + +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