[xsmith-dev] Patches

[Sorawee Porncharoenwase]

Hi everyone,

Since I don't have a Utah GitLab account, I can't submit a PR, so I attach
patch files here instead.

fix-print-choice-log.patch fixes a problem with the --print-choice-log
option, which attempts to create a string of negative length.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </listarchives/xsmith-dev/attachments/20210716/7c052425/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-print-choice-log.patch
Type: application/x-patch
Size: 912 bytes
Desc: not available
URL: </listarchives/xsmith-dev/attachments/20210716/7c052425/attachment.bin>