model-checker : add tesh for bugged1_liveness and chord_neverjoin

[simgrid.git] / doc / gras_comm.png

diff --git a/doc/gras_comm.png b/doc/gras_comm.png
index 53ec300..00d54a1 100644 (file)
Binary files a/doc/gras_comm.png and b/doc/gras_comm.png differ