From 7d7735b0106a3d11fa1eba5e5a9e4cecffefa289 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 28 Jun 2023 10:41:22 +0200 Subject: [PATCH] test --- src/test/slicing.cpp | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/test/slicing.cpp b/src/test/slicing.cpp index 3f94e0fbe..93988ed8c 100644 --- a/src/test/slicing.cpp +++ b/src/test/slicing.cpp @@ -101,8 +101,14 @@ namespace polysat { VERIFY(sl.merge(sl.var2slice(x), sl.var2slice(y), sat::literal(1))); std::cout << "v" << x << " = v" << y << "\n" << sl << "\n"; - std::cout << "v" << b << " = v" << c << "? " << sl.is_equal(sl.var2slice(b), sl.var2slice(c)) << "\n"; - std::cout << "v" << b << " = " << d << "? " << sl.is_equal(sl.var2slice(b), sl.pdd2slice(d)) << "\n"; + std::cout << "v" << b << " = v" << c << "? " << sl.is_equal(sl.var2slice(b), sl.var2slice(c)) + << " find(v" << b << ") = " << sl.find(sl.var2slice(b)) + << " find(v" << c << ") = " << sl.find(sl.var2slice(c)) + << "\n"; + std::cout << "v" << b << " = " << d << "? " << sl.is_equal(sl.var2slice(b), sl.pdd2slice(d)) + << " find(v" << b << ") = " << sl.find(sl.var2slice(b)) + << " find(" << d << ") = " << sl.find(sl.pdd2slice(d)) + << "\n"; } };