From d37336eb070dd3bb4d744f5d02e759d6f502bd65 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 8 Jun 2025 09:22:43 -0700 Subject: [PATCH] remove trace by default from tests Signed-off-by: Nikolaj Bjorner --- src/test/main.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/test/main.cpp b/src/test/main.cpp index 9fc1decb3..646d6614a 100644 --- a/src/test/main.cpp +++ b/src/test/main.cpp @@ -25,7 +25,6 @@ std::cout << " " << #MODULE << "\n"; \ for (int i = 0; i < argc; i++) \ if (test_all || strcmp(argv[i], #MODULE) == 0) { \ - enable_trace(#MODULE); \ enable_debug(#MODULE); \ timeit timeit(true, s.c_str()); \ tst_##MODULE(); \