diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-21 18:55:05 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-21 18:55:05 +0000 |
| commit | 75adfe4e8ef1fab4b9cd4c31d40c15e9a1637a5e (patch) | |
| tree | dc866579086454092edaecd78bcfadf2da03b08c /src/prop/cnf_stream.cpp | |
| parent | 7f49a7aedc16cb46216f92d00881cd3485acc206 (diff) | |
more bugfixes, some basic propagation, and testcases to cover them
Diffstat (limited to 'src/prop/cnf_stream.cpp')
| -rw-r--r-- | src/prop/cnf_stream.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/cnf_stream.cpp b/src/prop/cnf_stream.cpp index 0c692501f..99cd26297 100644 --- a/src/prop/cnf_stream.cpp +++ b/src/prop/cnf_stream.cpp @@ -147,7 +147,7 @@ SatLiteral CnfStream::convertAtom(TNode node) { SatLiteral CnfStream::getLiteral(TNode node) { TranslationCache::iterator find = d_translationCache.find(node); - Assert(find != d_translationCache.end(), "Literal not in the CNF Cache"); + Assert(find != d_translationCache.end(), "Literal not in the CNF Cache: ", node.toString().c_str()); SatLiteral literal = find->second.literal; Debug("cnf") << "CnfStream::getLiteral(" << node << ") => " << literal << std::endl; return literal; |