From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 14 Jun 2019 17:48:12 +0000 (-0700)
Subject: Merge branch 'new_fuzzer' of /home/git/random-fuzzer into branch-weiyu
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=63b2c687570085f2a87b6a659d26608228af1ee0;p=c11tester.git

Merge branch 'new_fuzzer' of /home/git/random-fuzzer into branch-weiyu
---

63b2c687570085f2a87b6a659d26608228af1ee0