3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

turn on parity test

This commit is contained in:
Nikolaj Bjorner 2021-06-04 10:18:12 -07:00
parent c194441824
commit 5da4b29136

View file

@ -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;