From 5da4b29136d4e9b1787968f95a78a8629bb7ca25 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Jun 2021 10:18:12 -0700
Subject: [PATCH] turn on parity test
---
src/math/lp/int_gcd_test.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/math/lp/int_gcd_test.cpp b/src/math/lp/int_gcd_test.cpp
index 8891f495f..4801cc436 100644
--- a/src/math/lp/int_gcd_test.cpp
+++ b/src/math/lp/int_gcd_test.cpp
@@ -259,7 +259,7 @@ namespace lp {
bool int_gcd_test::accumulate_parity(const row_strip<mpq> & row, unsigned least_idx) {
// remove this line to enable new functionality.
- return true;
+ // return true;
mpq modulus(0);
bool least_sign = false;