diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-03-09 21:10:17 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-03-09 21:10:17 +0000 |
commit | 84f26af22566f7c10dea45b399b944cb50b5e317 (patch) | |
tree | 68fbe22665cc09f46c321c6132e49dabbc15c337 /src/util/dump.cpp | |
parent | f29ea80fb3e238278a721d79077c9087bccbac0b (diff) |
Some work on the dump infrastructure to support portfolio work.
Dump("foo") << FooCommand(...);
now "dumps" the textual representation of the command (in the current
output language) to a file, IF dumping is on at configure-time, AND the
"muzzle" feature is off, AND the "foo" flag is turned on for the dump
stream during this run.
If it's a portfolio build, the above will also store the command in a
CommandSequence, IF the "foo" flag is turned on for the dump stream
during this run. This is done even if the muzzle is on.
This commit also cleans up some code that used the dump feature (in arrays,
particularly).
Diffstat (limited to 'src/util/dump.cpp')
-rw-r--r-- | src/util/dump.cpp | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/src/util/dump.cpp b/src/util/dump.cpp new file mode 100644 index 000000000..2b10158d4 --- /dev/null +++ b/src/util/dump.cpp @@ -0,0 +1,27 @@ +/********************* */ +/*! \file dump.cpp + ** \verbatim + ** Original author: mdeters + ** Major contributors: none + ** Minor contributors (to current version): none + ** This file is part of the CVC4 prototype. + ** Copyright (c) 2009-2012 The Analysis of Computer Systems Group (ACSys) + ** Courant Institute of Mathematical Sciences + ** New York University + ** See the file COPYING in the top-level source directory for licensing + ** information.\endverbatim + ** + ** \brief Dump utility classes and functions + ** + ** Dump utility classes and functions. + **/ + +#include "util/dump.h" + +using namespace std; + +namespace CVC4 { + +DumpC DumpChannel CVC4_PUBLIC; + +}/* CVC4 namespace */ |