--- rpl/LIMITATIONS 2012/10/07 08:18:35 1.92 +++ rpl/LIMITATIONS 2012/12/20 15:32:52 1.98 @@ -1,15 +1,15 @@ RESTRICTIONS Only formatted and flow files are supported. +SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite. + +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 -Retirer le IMPLICIT NONE de STO et SAVE pour le mettre dans l'empilement d'un -nom. Si le nom est non défini et qu'il ne peut pas être évalué, il -doit provoquer une erreur. -=> evaluation des noms -=> séquenceur lors de l'empilement - Pour OpenVMS : Trouver les includes pour : syslog.h