Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix model checker config issue
authorPaul Bédaride <paul.bedaride@gmail.com>
Mon, 17 Dec 2012 10:17:04 +0000 (11:17 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Mon, 17 Dec 2012 10:17:04 +0000 (11:17 +0100)
commit24297936443eb968a6f4733731a2e01c67bdfcc5
tree40bbef881a965f3c86237f95cded8c481fd8247d
parent7d9a2608433e246294b7c4b339371fd4d3530ba6
Fix model checker config issue
src/mc/mc_global.c