projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: b02e5f9)
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)
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).


No differences found
C++11 memory model checker