Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Use xbt_assert instead of 'if() xbt_die'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 21 Oct 2019 20:07:16 +0000 (22:07 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 21 Oct 2019 20:07:16 +0000 (22:07 +0200)
commitf7175f965550a3c7b6974f14527c99bb04bef72f
tree0cdb4ed4b1552afa3158f7da13328f97069b339c
parentd182f2207624776d4d1b87662436663f81b00dc4
Use xbt_assert instead of 'if() xbt_die'
src/mc/ModelChecker.cpp