Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Clear errno when throwing an errno exception
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 18 Apr 2016 12:53:48 +0000 (14:53 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 18 Apr 2016 12:53:48 +0000 (14:53 +0200)
commit4bd2cbe6c40e96efdbf49550cc66bb9e35df8b94
tree0f049e1491fdd1625dab8780d22f5b53c587900c
parent76ddf2528f029c970be3fd1d08659452b1842ae8
Clear errno when throwing an errno exception
include/xbt/system_error.hpp
src/mc/ModelChecker.cpp
src/mc/Session.cpp