projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7af1e27) | patch
librace: format DEBUG() prints properly
authorBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 17:19:12 +0000 (10:19 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 26 Apr 2012 17:19:12 +0000 (10:19 -0700)
commit38de1b8a5d58d70bda97ad3b453b62d721f4f7ed
tree5d0560cbbfdf9f40b80d03dfcfc369c3c8676024tree | snapshot
parent7af1e278a823b97b391f37da9ef6a013d58ac50ecommit | diff
librace: format DEBUG() prints properly

Apparently ISO C99 defines macros PRIuXX for proper printing of different-sized
uints.
librace.cc diff | blob | history
C++11 memory model checker