Re: [csmith-project/csmith] 6f6086: Remove a bit of dead code.

To: csmith-commits@flux.utah.edu
Subject: Re: [csmith-project/csmith] 6f6086: Remove a bit of dead code.
From: John Regehr <regehr@cs.utah.edu>
Date: Fri, 05 Aug 2011 14:54:40 -0600
In-reply-to: <20110805205236.157F8425F2@smtp1.rs.github.com>
List-archive: </listarchives/csmith-commits>
List-help: <mailto:csmith-commits-request@flux.utah.edu?subject=help>
List-id: Csmith Commit-Message Mailing List <csmith-commits.flux.utah.edu>
List-post: <mailto:csmith-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=unsubscribe>
References: <20110805205236.157F8425F2@smtp1.rs.github.com>
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.18) Gecko/20110617 Thunderbird/3.1.11

   Nuke the bit of logic that includes random_inc.h directly,
this makes header file hacking too confusing.

I should add that there now exists a different way to get minimal headerfile crap from Csmith: define the CSMITH_MINIMAL CPP flag.


I often use this in routing testing because it makes reduction faster.

John

References:
- [csmith-project/csmith] 6f6086: Remove a bit of dead code.
  - From: John Regehr <regehr@cs.utah.edu>