projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d212f6a) | patch
snapshot: use perror() on failed library calls
authorBrian Norris <banorris@uci.edu>
Thu, 24 May 2012 17:57:20 +0000 (10:57 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 24 May 2012 17:57:20 +0000 (10:57 -0700)
commit451ad13b5c9ef4ddde399d05fef48181cbd51109
treebc186151fc2323382ee302261175074a2ef8772ftree | snapshot
parentd212f6a2fcc841987daf7931aabbc7689320528fcommit | diff
snapshot: use perror() on failed library calls

This will print more informative messages when we fail.
snapshot.cc diff | blob | history
C++11 memory model checker