Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 10 Feb 2015 15:02:06 +0000 (16:02 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 10 Feb 2015 15:02:06 +0000 (16:02 +0100)
commit0ccbaaa805875e64f29ceb8434e17c7de99b050c
tree4088376a25a35848ce9ec6237cb3cbd11731a810
parented340fe9e2dc5b18c17e9db0545be99b7a2e3361
model-checker : intermediate backtracking enabled if _sg_mc_checkpoint > 0
src/mc/mc_global.c