Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove MCer_ignore_global_variable
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 20 Nov 2015 10:50:37 +0000 (11:50 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 23 Nov 2015 15:40:08 +0000 (16:40 +0100)
commitfce872a4f145c997f146ea0d098a77549a47bd0b
tree99e4b84cf4f62a34c78152436a77bd4d1cebc3bc
parent4fa75dd8262ed5c51d5c3219d38235976758889f
[mc] Remove MCer_ignore_global_variable
src/mc/ModelChecker.cpp
src/mc/ObjectInformation.cpp
src/mc/ObjectInformation.hpp
src/mc/Process.hpp
src/mc/mcer_ignore.cpp
src/mc/mcer_ignore.h