Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : state at max depth may have none interleaved processes
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 2 Apr 2013 13:40:44 +0000 (15:40 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 2 Apr 2013 13:41:15 +0000 (15:41 +0200)
commiteed2329ef0f23c6c80c8268b6c52f212d1aa47b4
treea34f6958f594e835c5408f0e317c1f3c435feb66
parent9d8ce6c58ec7d0a682ef47fde0c8199026948bb8
model-checker : state at max depth may have none interleaved processes
src/mc/mc_dpor.c