From: Marion Guthmuller Date: Tue, 13 Aug 2013 11:38:44 +0000 (+0200) Subject: model-checker : remove binary X-Git-Tag: v3_9_90~128^2~2 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1925e0588f28f14dc3135f067e8497a213ab0b0f model-checker : remove binary --- diff --git a/examples/smpi/mc/bugged1 b/examples/smpi/mc/bugged1 deleted file mode 100755 index fa4c2ec8ac..0000000000 Binary files a/examples/smpi/mc/bugged1 and /dev/null differ diff --git a/examples/smpi/mc/bugged1_liveness b/examples/smpi/mc/bugged1_liveness deleted file mode 100755 index d643793582..0000000000 Binary files a/examples/smpi/mc/bugged1_liveness and /dev/null differ diff --git a/examples/smpi/mc/bugged2 b/examples/smpi/mc/bugged2 deleted file mode 100755 index d9bb0d2ec4..0000000000 Binary files a/examples/smpi/mc/bugged2 and /dev/null differ