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 55968d0b7c6919ea9dcb69323d4ec99d7b9ec24a..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 18910000            
-./doc/simgrid/examples/cxx/autoDestination/autoDestination_platform.xml 21339320000   
-./doc/simgrid/examples/cxx/autoDestination/Forwarder.cxx 113700000        
-./doc/simgrid/examples/cxx/basic/FinalizeTask.cxx 710000000          
+/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