Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: tricks to improve the coverage
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 May 2019 22:34:10 +0000 (00:34 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 27 May 2019 08:59:10 +0000 (10:59 +0200)
commit7103743c77273a47045e089339e6f1341afa7220
tree4d4fe31f097a876f4d3fd5fa91dc6fc4e2c07722
parent27b84e039c2f9b83e1d614643b88def4f4529ea6
mc: tricks to improve the coverage

- change "if (..) xbt_die" into xbt_assert(..)
- kill dead code
src/mc/inspect/mc_dwarf.cpp
src/mc/inspect/mc_unw.cpp
src/mc/inspect/mc_unw.hpp