projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06d9618) | patch
snapshot: define macros with type size_t
authorBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 16:22:31 +0000 (09:22 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 14 Jun 2012 16:22:31 +0000 (09:22 -0700)
commit8e503713cefb189d04ee959fec5148b72d822d16
treee274ab44c6189b44196e068574a3c52ff265c799tree | snapshot
parent06d9618fd028c3d5a60c65ad6508cfae24741688commit | diff
snapshot: define macros with type size_t

The SHARED_MEMORY_DEFAULT and STACK_SIZE_DEFAULT macros need to be of type
size_t, so cast them when they're defined, not when they're used.
snapshot.cc diff | blob | history
snapshotimp.h diff | blob | history
C++11 memory model checker