From 8ba1f9efc85f5a5c3650189387f3a0cba2b2b172 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 26 Jan 2016 13:11:06 -0600
Subject: [PATCH] Fix kernel.domains comparison
---
loopy/kernel/__init__.py | 3 +++
1 file changed, 3 insertions(+)
diff --git a/loopy/kernel/__init__.py b/loopy/kernel/__init__.py
index 8275c8678..46888e620 100644
--- a/loopy/kernel/__init__.py
+++ b/loopy/kernel/__init__.py
@@ -1206,6 +1206,9 @@ class LoopKernel(RecordWithoutPickling):
for field_name in self.comparison_fields:
if field_name == "domains":
+ if len(self.domains) != len(other.domains):
+ return False
+
for set_a, set_b in zip(self.domains, other.domains):
if not set_a.plain_is_equal(set_b):
return False
--
GitLab