From 256f1bdf1a809b3e50935a33251a04cdd004f2df Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 15 Mar 2026 21:39:14 -0700 Subject: [PATCH] remove non-compiling timeout code Signed-off-by: Nikolaj Bjorner --- src/test/nseq_zipt.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/test/nseq_zipt.cpp b/src/test/nseq_zipt.cpp index 4f8516da0..e0549b343 100644 --- a/src/test/nseq_zipt.cpp +++ b/src/test/nseq_zipt.cpp @@ -202,10 +202,12 @@ static constexpr int TEST_TIMEOUT_SEC = 2; static void set_timeout(nseq_fixture& f) { auto start = std::chrono::steady_clock::now(); + /** f.ng.set_cancel_fn([start]() { auto elapsed = std::chrono::steady_clock::now() - start; return std::chrono::duration_cast(elapsed).count() >= TEST_TIMEOUT_SEC; }); + */ } static bool eq_sat(const char* lhs, const char* rhs) {