From: Brian Norris Date: Thu, 21 Jun 2012 09:11:15 +0000 (-0700) Subject: Merge branch 'sandbox' (remove finalize()) X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f3ef22bef8d339c7d45b7d7232cdcf183a0b7776;p=c11tester.git Merge branch 'sandbox' (remove finalize()) 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... --- f3ef22bef8d339c7d45b7d7232cdcf183a0b7776