From 28126feefed52c9d15ec9c1891ee9cb1b6cde365 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 25 Aug 2015 18:15:23 +0200
Subject: [PATCH] update TODO

---
 src/plugins/e-acsl/TODO | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plugins/e-acsl/TODO b/src/plugins/e-acsl/TODO
index 8a372299c04..49e5baf642c 100644
--- a/src/plugins/e-acsl/TODO
+++ b/src/plugins/e-acsl/TODO
@@ -12,6 +12,8 @@
 - [David Mentré] tset
 - [Guillaume] voir les valeurs quand la spec échoue, voir Boogaloo@RV'13 à ce 
   sujet
+- [Tout le monde] scripts de compilation du programme généré
+- [Enseignement] assigns
 
 =====
 - Voir avec Guillaume et Nikolaï ce dont ils ont besoin comme API pour faire
@@ -102,3 +104,5 @@ function call
 - inclure exemple du E-ACSL User Manual
 - inclure exemple du E-ACSL Tutorial
 - currently, tests require a non-free version of Frama-C (built-ins Value)
+- [Guillaume] tests de non-régression de temps d'exécution (+ conso mémoire)
+  pour voir les dégradations/gains de performance.
-- 
GitLab