Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Generate a message showing the path on crash of the model-checked
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 9 Nov 2015 14:45:08 +0000 (15:45 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 09:05:34 +0000 (10:05 +0100)
commit3c19913ffaeae44ebfdaea24d987dcb5947edd1b
treeef9b796017f236ca94d8cc372bcb202103c34bfb
parent285ff67ae5a80f4e452685a47c64faf387e67ee1
[mc] Generate a message showing the path on crash of the model-checked
src/mc/mc_exit.h
src/mc/mc_global.cpp
src/mc/mc_private.h
src/mc/mc_server.cpp