From 768369504b951a50e4a8accb469388832da4ee7a Mon Sep 17 00:00:00 2001 From: YiFei Zhu Date: Thu, 19 Oct 2023 11:09:13 -0700 Subject: [PATCH] Test issue #37: Test no norefer --- guppy/heapy/View.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/guppy/heapy/View.py b/guppy/heapy/View.py index d70da59..86e6ff2 100644 --- a/guppy/heapy/View.py +++ b/guppy/heapy/View.py @@ -480,8 +480,8 @@ def referrers(self, X): self.rg.clear() self.hv.update_referrers(self.rg, Y) self.norefer.clear() - self.norefer |= (X | Y | self.rg.get_range()) - self.norefer -= self.rg.get_domain() + # self.norefer |= (X | Y | self.rg.get_range()) + # self.norefer -= self.rg.get_domain() Y = self.mutnodeset(X) - self.norefer if not self.rg.domain_covers(Y): print('update_referrers failed')