Use Assert instead of assert. (#6095)

This commit replaces all uses of assert with Assert from base/check.h to ensure that all assertions get checked in production builds with enabled assertions.

2 files changed, 18 insertions, 17 deletions

diff --git a/src/util/rational_cln_imp.cpp b/src/util/rational_cln_imp.cpp
index ebfda01a8..4d948415f 100644
--- a/src/util/rational_cln_imp.cpp
+++ b/src/util/rational_cln_imp.cpp
@@ -51,6 +51,23 @@ Rational Rational::fromDecimal(const std::string& dec) {
   }
 }
 
+int Rational::sgn() const
+{
+  if (cln::zerop(d_value))
+  {
+    return 0;
+  }
+  else if (cln::minusp(d_value))
+  {
+    return -1;
+  }
+  else
+  {
+    Assert(cln::plusp(d_value));
+    return 1;
+  }
+}
+
 std::ostream& operator<<(std::ostream& os, const Rational& q){
   return os << q.toString();
 }
diff --git a/src/util/rational_cln_imp.h b/src/util/rational_cln_imp.h
index d7ff55344..6d83a5a0f 100644
--- a/src/util/rational_cln_imp.h
+++ b/src/util/rational_cln_imp.h
@@ -29,7 +29,6 @@
 #include <cln/rational_io.h>
 #include <cln/real.h>
 
-#include <cassert>
 #include <sstream>
 #include <string>
 
@@ -210,22 +209,7 @@ class CVC4_PUBLIC Rational
     return cln::compare(d_value, x.d_value);
   }
 
-  int sgn() const
-  {
-    if (cln::zerop(d_value))
-    {
-      return 0;
-    }
-    else if (cln::minusp(d_value))
-    {
-      return -1;
-    }
-    else
-    {
-      assert(cln::plusp(d_value));
-      return 1;
-    }
-  }
+  int sgn() const;
 
   bool isZero() const { return cln::zerop(d_value); }