[xsmith-dev] Patches

[Sorawee Porncharoenwase]

Sorry, I meant to include another patch but accidentally sent the email
prematurely.

doc.patch is my first pass on the documentation.

On Fri, Jul 16, 2021 at 6:02 PM Sorawee Porncharoenwase <
sorawee.pwase at gmail.com> wrote:

> 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/6460b0f7/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: doc.patch
Type: application/octet-stream
Size: 60538 bytes
Desc: not available
URL: </listarchives/xsmith-dev/attachments/20210716/6460b0f7/attachment.obj>