projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 236f53b 11265e8)
Merge branch 'sandbox' (remove finalize())
authorBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:11:15 +0000 (02:11 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 21 Jun 2012 09:11:27 +0000 (02:11 -0700)
Merge in the fix from Subramanian and me that eliminates the need for a
finalize() call. It was a kind of bug, in a way, that hopefully is fixed now...

1  2 
snapshot.cc patch | diff1 | diff2 | blob | history

diff --cc snapshot.cc
Simple merge
C11 Tester Tool Public Repository