model-checker : print statistics in all cases (property satisfied or not)

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b692c8f..8edd0e3 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -18,7 +18,6 @@ src/simdag/dax_dtd.l
 src/surf/simgrid_dtd.l
 src/xbt/graphxml.l
 
-:e a
 ################################################
 ### Jedule
 examples/simdag/scheduling/simgrid.jed
@@ -71,6 +70,7 @@ Testing/
 Makefile
 bin/
 lib/
+manpages/
 build_dir/
 build/
 buildtools/Cmake/test_prog/prog_va_copy.c
@@ -95,6 +95,7 @@ doc/latex/
 doc/html
 doc/index-API.doc
 doc/index.php
+doc/logcategories.doc
 doc/simgrid.tag
 doc/simgrid_modules.map
 doc/publis_core.bib
@@ -134,6 +135,12 @@ examples/msg/masterslave/toto.txt
 examples/msg/simulation.trace
 examples/msg/toto.txt
 examples/msg/z_gtnets.trace
+examples/msg/cloud/masterslave_virtual_machines
+examples/msg/tracing/link_srcdst_user_variables
+examples/msg/tracing/link_user_variables
+examples/msg/tracing/simple
+examples/msg/tracing/trace_platform
+examples/msg/tracing/user_variables
 examples/msg/tracing/procmig
 examples/msg/tracing/tasks
 examples/msg/tracing/volume
@@ -246,6 +253,14 @@ examples/smpi/smpi_sendrecv
 examples/smpi/dsend
 examples/smpi/mc_bugged1
 examples/smpi/mc_bugged2
+examples/smpi/smpi_traced_simple
+
+examples/msg/mc/bugged1_liveness
+examples/msg/mc/bugged1_stateful
+examples/msg/mc/bugged2_liveness
+examples/msg/mc/bugged2_stateful
+examples/msg/mc/centralized_liveness
+
 src/replay/replay
 src/testall
 teshsuite/gras/datadesc/datadesc_usage
@@ -256,6 +271,7 @@ teshsuite/gras/small_sleep/log.txt
 teshsuite/gras/small_sleep/small_sleep_function
 teshsuite/gras/modelcheck/modelcheck_checker
 teshsuite/msg/get_sender
+teshsuite/msg/trace/test_trace_integration
 teshsuite/simdag/basic0
 teshsuite/simdag/basic1
 teshsuite/simdag/basic2
@@ -280,6 +296,7 @@ teshsuite/simdag/partask/test_comp_only_par
 teshsuite/simdag/partask/test_comp_only_seq
 teshsuite/xbt/log_large_test
 teshsuite/xbt/parallel_log_crashtest
+testsuite/xbt/parmap_bench
 testsuite/run_tests
 testsuite/simdag/sd_test
 testsuite/surf/lmm_usage