Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Do not use a dangerous guess-the-type logic in snapshot_compare()
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 22 Mar 2016 14:31:10 +0000 (15:31 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commit30e424f828536f2e59c0175b482e6e5480fe7fdd
treedf8d3d82111a2a30a9d8686a0add9f3d02552791
parentb1d63a0675cd3977c8da862007ba8461ca10db88
[mc] Do not use a dangerous guess-the-type logic in snapshot_compare()
src/mc/mc_compare.cpp
src/mc/mc_liveness.h
src/mc/mc_private.h
src/mc/mc_safety.h
src/mc/mc_state.h