Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use xbt_abort after exhaustive exploration
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:59:52 +0000 (18:59 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Jan 2013 17:59:52 +0000 (18:59 +0100)
commit2fdde967b33a0a232a3988254536fc6d4dbf33b7
treee761489f42a76e881b1b5e1be0e04b0d036aa642
parentc8cb025267aaf5869a961e6606d13369c6701801
model-checker : use xbt_abort after exhaustive exploration
src/mc/mc_global.c