From: Gereon Kremer <gkremer@stanford.edu>
Date: Tue, 7 Dec 2021 01:46:54 +0000 (-0800)
Subject: Fix 32bit issue in sep_log_api test (#7752)
X-Git-Tag: cvc5-1.0.0~720
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5108f5c667d417ee1cd53a0404596c9da6e2a90f;p=cvc5.git

Fix 32bit issue in sep_log_api test (#7752)

This uses the proper `t.getInt64Value()` getter instead of `std::stoll(t.toString())`, fixing an issue on 32bit platforms.
---

diff --git a/test/api/cpp/sep_log_api.cpp b/test/api/cpp/sep_log_api.cpp
index 5795de794..6a2fc9740 100644
--- a/test/api/cpp/sep_log_api.cpp
+++ b/test/api/cpp/sep_log_api.cpp
@@ -247,8 +247,7 @@ int validate_getters(void)
        * than the random constant -- if we get a value that is LTE, then
        * something has gone wrong!
        */
-      if (std::stoll(value.toString())
-          <= std::stoll(random_constant.toString()))
+      if (value.getInt64Value() <= random_constant.getInt64Value())
       {
         return -1;
       }