Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : liveness model-checking works only on 64bits for now, add condition...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 6 Dec 2012 09:31:51 +0000 (10:31 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 6 Dec 2012 09:32:05 +0000 (10:32 +0100)
commit3490c32bf631c78a2e97814d028939305f78e0d2
tree65adfbecae18ad94712298b377fc50a519d5e665
parent8c32d2978c520a4ff777c92e3ec14a827c60996a
model-checker : liveness model-checking works only on 64bits for now, add condition for tests
buildtools/Cmake/AddTests.cmake