Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove MC code in sigsegvhandler
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 09:26:22 +0000 (10:26 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Nov 2015 09:26:22 +0000 (10:26 +0100)
commit87116782db3154fb79cd353db446bd226cf15976
tree7ee5aaf05542d58c75ee85ca97dd74ad3f8f53bc
parent3c19913ffaeae44ebfdaea24d987dcb5947edd1b
[mc] Remove MC code in sigsegvhandler

We do not have mc_stack in the model-checked process.
src/simix/smx_global.c