--- rpl/LIMITATIONS	2012/09/30 20:46:46	1.90
+++ rpl/LIMITATIONS	2012/12/17 21:22:43	1.96
@@ -1,6 +1,13 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
+nombre_variables
+
+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