Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix compilation error without MC
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:13:44 +0000 (22:13 +0100)
commit00cd576021269f05e84dd36f3cee7afbfe90cede
treef1aead59bbe336b8d4e6549801c403c0ed5aa6f9
parentb2ded73872ecc304ee58437caf981a4a11b619ab
model-checker : fix compilation error without MC
src/xbt/backtrace_linux.c