Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove MC_init()
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 12:37:41 +0000 (13:37 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 12:59:41 +0000 (13:59 +0100)
commitbcd6ed165f1847cb449a73e81918bfe83d89621b
tree196efb1dbe09a5136cb7222b09584f081ab64e73
parent5787a5c839c1f49fec942290449d18b72b036d98
[mc] Remove MC_init()
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
src/include/mc/mc.h
src/mc/mc_global.cpp