--- rpl/LIMITATIONS 2012/05/20 17:28:26 1.80 +++ rpl/LIMITATIONS 2013/03/05 22:33:55 1.104 @@ -1,8 +1,33 @@ 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 }; +Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux, +transformer le semop en non bloquant). + +Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. + +BUG : +toto +<< + // truc qui fait une erreur +>> + +{ } forall + 'toto' eval +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