Commit 58ebff02fd350f1b73d62caf0c1e976b4576e2ab Parent 71e14bb77b1bceca3cf6e48d4b074e74c046ed04 Author John MacFarlane <jgm@berkeley.edu> Date Sat, 8 Nov 2014 16:19:06 -0800 Improved fuzztest.