model-checker : worst case considered for bugged1_liveness example (bug on the last...

[simgrid.git] / teshsuite / msg / storage / storage_content_s1.txt

diff --git a/teshsuite/msg/storage/storage_content_s1.txt b/teshsuite/msg/storage/storage_content_s1.txt
index 34cb554c7c24dd030cc5a1e5f69d689d00abc76c..f2adbfbd6cded3f683f4fec25a2d7f9e5a917fe0 100644 (file)
--- a/teshsuite/msg/storage/storage_content_s1.txt
+++ b/teshsuite/msg/storage/storage_content_s1.txt
@@ -1,4 +1,4 @@
-./doc/simgrid/examples/cxx/autoDestination/Master.cxx 10          
-./doc/simgrid/examples/cxx/autoDestination/autoDestination_platform.xml 10   
-./doc/simgrid/examples/cxx/autoDestination/Forwarder.cxx 10       
-./doc/simgrid/examples/cxx/basic/FinalizeTask.cxx 10         
+/doc/simgrid/examples/cxx/autoDestination/Master.cxx 10           
+/doc/simgrid/examples/cxx/autoDestination/autoDestination_platform.xml 10   
+/doc/simgrid/examples/cxx/autoDestination/Forwarder.cxx 10        
+/doc/simgrid/examples/cxx/basic/FinalizeTask.cxx 10