Stronger support for zero-performance-penalty output, and fixes and
authorMorgan Deters <mdeters@gmail.com>
Wed, 4 May 2011 00:21:34 +0000 (00:21 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 4 May 2011 00:21:34 +0000 (00:21 +0000)
commit691fbae1dad8689007686cf61b737da58a4c9427
treee6dd40fc3bfd39d28e443d768106508226338452
parent12d31931b48b659b78f531e98dba9d449da0137b
Stronger support for zero-performance-penalty output, and fixes and
simplifications for the "muzzled" (i.e. competition) design, which had
been broken.  Addition of some new unit test bits to ensure that
nothing is ever called in muzzled builds, e.g. things like

  Warning() << expensiveFunction();

Also, fix some compiler warnings.
src/theory/datatypes/theory_datatypes.cpp
src/theory/shared_term_manager.cpp
src/util/output.cpp
src/util/output.h
test/unit/parser/parser_black.h
test/unit/util/output_black.h
test/unit/util/stats_black.h