tree a83bef51b8ea6a3d177160239a2b8f79fb5a80d5
parent 85c67b5e08eea1818767f174515612464740a53c
author Paul Thomson <paulthomson@google.com> 1569919863 +0100
committer Paul Thomson <paulthomson@google.com> 1569920129 +0100

fuzz: add shrinker-temp-file-prefix

And relax naming requirements of input and output files.