diff --git a/test/gtest_frame_base.cpp b/test/gtest_frame_base.cpp index 4be7353651ee5c037afa813da4b88f9d3848d897..bc3a02a29347d9edb80fce443439737d8e053c00 100644 --- a/test/gtest_frame_base.cpp +++ b/test/gtest_frame_base.cpp @@ -85,8 +85,10 @@ TEST(FrameBase, LinksToTree) // tree is inconsistent since we are missing the constrained_by link // ASSERT_FALSE(P->check(0)); + P->print(4,1,1,1); + // tree is now consistent - ASSERT_TRUE(P->check(0)); + ASSERT_TRUE(P->check(1)); // F1 has one capture and no factors-by ASSERT_FALSE(F1->getCaptureList().empty());