Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : abort if popen failed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 15:17:14 +0000 (16:17 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 20 Nov 2012 15:17:14 +0000 (16:17 +0100)
commit2cc294d3e6a633bd4a76a41ce98f053290b41623
tree1cbfc2b734179f5bfaf967da36ba1c7bd54dce8a
parentd0c5cc5a4f87a98928093830eab689dcdd0dd603
model-checker : abort if popen failed
src/mc/mc_checkpoint.c
src/mc/mc_global.c