--- rpl/LIMITATIONS	2012/12/17 21:22:43	1.96
+++ rpl/LIMITATIONS	2012/12/20 15:32:52	1.98
@@ -1,8 +1,7 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
-Vérifier que liste_variables() renvoie bien les variables partagées. Idem pour
-nombre_variables
+SQLITE_BUSY et SQLITE_LOCKED sur toutes les fonctions utilisant sqlite.
 
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.