Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Dump the current trace when the model-checked crashes
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 25 Mar 2016 16:08:14 +0000 (17:08 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Mar 2016 10:58:51 +0000 (12:58 +0200)
commit79cf0bb909f6c6b9885c928b427344911b708144
treeb94af9b3abe55d4bd152ae9bce5ea9028ea77e2e
parent068223d8b457b296adeee39403cda89ffc5baf76
[mc] Dump the current trace when the model-checked crashes
src/mc/Process.cpp
src/mc/Process.hpp
src/mc/mc_global.cpp
src/mc/mc_unw.h