projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 923b6a3) | patch
snapshot-interface: bugfix - terminate string from readlink()
authorBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 22:21:07 +0000 (15:21 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 19 Apr 2013 22:25:29 +0000 (15:25 -0700)
commitb02e5f980b66f92801bc2e93db05940ac5ac7c5e
tree98b63cf17d0b65a40da7a29ad233fad0469c316ctree | snapshot
parent923b6a3cc2e14f3bf6fc660d760abb5686b97914commit | diff
snapshot-interface: bugfix - terminate string from readlink()

readlink() doesn't terminate the string for us, so our string doesn't
match properly (it will have a little extra garbage at the end).
snapshot-interface.cc diff | blob | history
C++11 memory model checker