Re: [csmith-bugs] likely bad code

["Xuejun Yang" <jxyang@cs.utah.edu>]

I have hoped it could save me from double records: one to the commit
message, one to the mailing list (bug reporter). But that's not the case. I
still have to enter an revision# then manually close the "issue".

But we should formalize the bug reporting process in any case. It probably
takes the same amount of typing as email exchanges, but the process becomes
more transparent.

-Xuejun

> 
> > Maybe we should start using the issue tracker at GitHub.  What do you
guys
> > think about that?
> 
> It's up to Xuejun.
> 
> I don't see a pressing need.
> 
> John