From 9d542b92b02b9cb79e74646badc9fc53c5f99492 Mon Sep 17 00:00:00 2001 From: Tim Edwards Date: Thu, 30 Jul 2020 08:06:44 -0400 Subject: [PATCH] Corrected one logical error in netcmp.c from the last commit, discovered and fixed by Ahmed Ghazy. --- base/netcmp.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/base/netcmp.c b/base/netcmp.c index 977035d..9063451 100644 --- a/base/netcmp.c +++ b/base/netcmp.c @@ -5882,7 +5882,7 @@ int ResolveAutomorphisms() /* convergence, and repeat. */ E1 = E2 = EC->elements; - while (E1 != NULL) { + while (E1 != NULL && E2 != NULL) { while (E1->graph != Circuit1->file) E1 = E1->next; while (E2->graph != Circuit2->file) E2 = E2->next; Magic(newhash); @@ -5919,7 +5919,7 @@ int ResolveAutomorphisms() /* convergence, and repeat. */ N1 = N2 = NC->nodes; - while (N1 != NULL) { + while (N1 != NULL && N2 != NULL) { while (N1->graph != Circuit1->file) N1 = N1->next; while (N2->graph != Circuit2->file) N2 = N2->next; Magic(newhash);