Yang> In the development branch, assertions are on, so are in the
Yang> current released tarball, i.e., C-Reduce 2.0.1.
Upon review, I think that I have screwed up the "default on" setting when I
converted to Autotools. Either I misread the logic a long time ago, or I
forgot to fix my converted code to on-by-default. My apologies!
Currently, one must specify --enable-trans-assert.
I'll change the default on the master branch.
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
