On 6/10/12 3:42 AM, Eric Eide wrote:
John> I think it's fine to disable clang_delta assertions in the John> release, but shouldn't we turn these on by default in the John> development branch?I would agree with that. FWIW, the behavior that is currently implemented via Autotools is, I believe, the behavior that was there before. That is, I don't think that I changed the default choice about assertions. Eric.
In the development branch, assertions are on, so are in the current released tarball, i.e., C-Reduce 2.0.1.
- Yang
