projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ca4375b)
snapshot: move declarations to the right interface header
authorBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:35:15 +0000 (23:35 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 30 May 2012 06:35:15 +0000 (23:35 -0700)
We should have a minimal set of code/declarations in the snapshot-interface.h
header. And it should not include other headers unless necessary. With this
change, the model checker code only needs to use snapshot-interface.h.


No differences found
C++11 memory model checker