Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: don't catch exceptions we cannot deal with
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 11 Jun 2019 19:56:37 +0000 (21:56 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 11 Jun 2019 20:11:22 +0000 (22:11 +0200)
commit2b431ba179258e63a1a80e611e4294265e61b27c
tree3dc979c77745b4178f21826d95946c06749c8cf1
parent9dd69bb20d10074d1427193340390b7fb30bfbb4
mc: don't catch exceptions we cannot deal with

+ cosmetics using xbt_assert to improve coverage
src/mc/Session.cpp
src/mc/checker/simgrid_mc.cpp