Re: [csmith-dev] Csmith 2.1 (Re: Csmith TODO list)

[John Regehr <regehr@cs.utah.edu>]

I find issue tracking systems to be pretty heavyweight for what we do 
here, but perhaps it's time to start using one.

John


On 11/12/2011 01:23 PM, Eric Eide wrote:
> 	John>  Ok, sounds like the main thing is we'd like to have the queue of
> 	John>  real bugs (from Pascal) be empty.
>
> Let me say that I have not made a list of these bugs; I assumed that Xuejun
> is/was tracking them.
>
> Eric.