Fix snapshot code
[model-checker.git] / scfence / inferlist.cc
2015-09-02 bdemskyAdd SCFence analysis oopsla2015