From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Wed, 6 Jun 2012 16:03:37 +0000 (+0000)
Subject: disabling a super-expensive assertions to speed up debug runs
X-Git-Tag: cvc5-1.0.0~8122
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b8d08b54a0dc3e05cf557e9f5f0d375b1330fed6;p=cvc5.git

disabling a super-expensive assertions to speed up debug runs
---

diff --git a/src/theory/substitutions.cpp b/src/theory/substitutions.cpp
index f56dd47b6..df4c919d8 100644
--- a/src/theory/substitutions.cpp
+++ b/src/theory/substitutions.cpp
@@ -168,7 +168,7 @@ Node SubstitutionMap::apply(TNode t) {
   Node result = internalSubstitute(t, d_substitutionCache);
   Debug("substitution") << "SubstitutionMap::apply(" << t << ") => " << result << std::endl;
 
-  Assert(check(result, d_substitutions));
+//  Assert(check(result, d_substitutions));
 
   return result;
 }