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

Re: [csmith-bugs] 2.0.0: read from and write to the same location within two sequence points



	Pascal> I have downloaded a file named:
	Pascal> csmith-project-csmith-git-conversion-HEAD-34-g1e0418a.tar.gz
	Pascal> 
	Pascal> However, I am not sure how I should go about reporting bugs
	Pascal> against this snapshot, assuming I think I have found one three
	Pascal> months from now. Hopefully the situation won't come up.

Please report them to this mailing list.  As always, include the output of
Csmith.

Recent (post 2.0.0) versions of Csmith output the "short hash" of the latest
git commit from which they are built.  For example:

/*
 * This is a RANDOMLY GENERATED PROGRAM.
 *
 * Generator: csmith 2.1.0
 * Git version: 4f53cd0
 * Options:   (none)
 * Seed:      289222344
 */

Assuming you did a clean build ("make clean all") and haven't made local mods
to the source, this should be enough for us to identify the exact snapshot of
the sources you're using.

Thanks! ---

Eric.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX