Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
make it easier to mark execution paths as DEADCODE, and mark one of them :)
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 9 Jan 2016 23:54:40 +0000 (00:54 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 9 Jan 2016 23:54:40 +0000 (00:54 +0100)
commit998f0e84439ff2665a69d9c33686c86f380713c0
tree9f0c1b029a182883f2f10c561465b7104d015961
parent559cb98f249c32641d64709f23c3103302ccf4e6
make it easier to mark execution paths as DEADCODE, and mark one of them :)
include/xbt/ex.h
src/surf/surf_interface.cpp
src/surf/surf_interface.hpp