From 01e1a9480c1eb9f0287cbcbbf1968ecc68b2d77b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joan=20Sol=C3=A0?= <jsola@iri.upc.edu> Date: Wed, 15 Jan 2020 23:35:17 +0100 Subject: [PATCH] WIP chasing segfault in gtest_frame_base --- test/gtest_frame_base.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/test/gtest_frame_base.cpp b/test/gtest_frame_base.cpp index 4be735365..bc3a02a29 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()); -- GitLab