Commit d2af455f9ff88e9c2f4540e1635d215207e2dbc2 Parent 627467cdf275a4aec20f966cde126833ba41f3ec Author John MacFarlane <jgm@berkeley.edu> Date Tue, 4 Nov 2014 22:12:54 -0800 Improved fuzztest target.