--- rpl/LIMITATIONS	2012/12/18 10:20:24	1.97
+++ rpl/LIMITATIONS	2013/03/05 22:33:55	1.104
@@ -1,8 +1,21 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+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))