mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-03 13:56:08 +00:00
Code Activity

remove non-compiling timeout code

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2026-03-15 21:39:14 -07:00
parent 32eedde897
commit 256f1bdf1a
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/nseq_zipt.cpp
View file

@ -202,10 +202,12 @@ static constexpr int TEST_TIMEOUT_SEC = 2;
static void set_timeout(nseq_fixture& f) { static void set_timeout(nseq_fixture& f) {
auto start = std::chrono::steady_clock::now(); auto start = std::chrono::steady_clock::now();
/**
f.ng.set_cancel_fn([start]() { f.ng.set_cancel_fn([start]() {
auto elapsed = std::chrono::steady_clock::now() - start; auto elapsed = std::chrono::steady_clock::now() - start;
return std::chrono::duration_cast<std::chrono::seconds>(elapsed).count() >= TEST_TIMEOUT_SEC; return std::chrono::duration_cast<std::chrono::seconds>(elapsed).count() >= TEST_TIMEOUT_SEC;
}); });
*/
} }
static bool eq_sat(const char* lhs, const char* rhs) { static bool eq_sat(const char* lhs, const char* rhs) {