presentation
[tiramisu.git] / doc / eole-report / presentation / tiramisu.txt
index 4434a59..f3d3761 100644 (file)
@@ -19,3 +19,18 @@ documents de présentation
 - `doc/eole-report/eolreport` : diff pdf entre creole ~ tiramisu
 - `tiramisu/report/` : rapport autmatique sur une config
 
+affichage du rapport en html
+-----------------------------
+
+espace d'état ou graphe d'accessibilité 
+-------------------------------------------
+
+
+- soit on a besoin de ne connaître que l'ensemble des états, par leurs liens
+- soit on a besoin de connaître les relations
+
+repérage des **deadlocks**
+
+
+
+