From 650a719298b1757f26ce88dfb170d0e1c3c02b76 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 20 Nov 2016 06:20:22 -0800 Subject: [PATCH] fix crash in new clique code Signed-off-by: Nikolaj Bjorner --- src/util/max_cliques.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/util/max_cliques.h b/src/util/max_cliques.h index e8493a9b9..bb7b0b490 100644 --- a/src/util/max_cliques.h +++ b/src/util/max_cliques.h @@ -90,7 +90,7 @@ public: m_next.reserve(std::max(src, dst) + 1); m_next.reserve(std::max(negate(src), negate(dst)) + 1); m_next[src].push_back(dst); - m_next[dst].push_back(src); + m_next[dst].push_back(src); } void cliques(unsigned_vector const& ps, vector& cliques) { @@ -102,7 +102,7 @@ public: max = std::max(max, std::max(np, p) + 1); } m_next.reserve(max); - m_tc.reserve(max); + m_tc.reserve(m_next.size()); unsigned_vector clique; uint_set vars; for (unsigned i = 0; i < num_ps; ++i) {