Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : test if variable is initialized (warning with optimizations)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 7 Oct 2012 12:47:46 +0000 (14:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 7 Oct 2012 12:47:46 +0000 (14:47 +0200)
commit6bec90694f2c50157a0ca4023ac1ff2383bffe54
tree9d13b79f7ff781c53e09bee9204b17ea92857aab
parentae7eb908102a9049410dd066d4a6c521344bac28
model-checker : test if variable is initialized (warning with optimizations)
src/mc/mc_checkpoint.c