The very first line of the bug report:
> This is a bug found with our fuzzer: https://github.com/daedalus/fuzzer/