Hi Shakthi,The short answer is that test_csmith.pl is a script that we probably didn't mean to release. It has little to offer you.
The longer answer is that we sometimes use the script to test Csmith itself.RunSafely.sh is a little script we borrowed from LLVM (I think) and a copy is attached. We should either add it to the Csmith release tarball or else remove test_csmith.pl.
KCC is here: http://code.google.com/p/c-semantics/It's not clear that adding a "make check" solves any pressing problem with Csmith, so I doubt we'll do it.
John On 11/30/2011 05:34 AM, Shakthi Kannan wrote:
Hi, In csmith-2.1.0, there is scripts/test_csmith.pl. #1 How should that be run against a built csmith executable? I built the csmith binary and running scripts/test_csmith.pl tries to run RunSafely.sh, but doesn't find it. I see two of them available at utah/scripts/jxyang/RunSafely.sh utah/scripts/john_driver/RunSafely.sh Is it possible to have a "make check" target in the Makefile that can run tests on the built csmith executable? #2 What is KCC? SK
Attachment:
RunSafely.sh
Description: application/shellscript