[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [xsmith-dev] Patches

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@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.

Attachment: doc.patch
Description: Binary data