Corrected an error that prevents property errors from being

printed in detail if a port error is also found.
RTimothyEdwards · Oct 16, 2024 · 4c546d1 · 4c546d1
1 parent e1aa231
commit 4c546d1
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-1.5.284
+1.5.285
diff --git a/tcltk/tclnetgen.c b/tcltk/tclnetgen.c
@@ -2522,8 +2522,16 @@ _netcmp_run(ClientData clientData,
 
 	    if (automorphisms == -1)
 	       Fprintf(stdout, "Netlists do not match.\n");
-	    else if (automorphisms == -2)
-	       Fprintf(stdout, "Netlists match uniquely with port errors.\n");
+	    else if (automorphisms == -2) {
+	       Fprintf(stdout, "Netlists match uniquely with port");
+	       if (PropertyErrorDetected) {
+		  Fprintf(stdout, " and property errors.\n");
+	          PrintPropertyResults(dolist);
+	       }
+	       else {
+		  Fprintf(stdout, " errors.\n");
+	       }
+	    }
 	    else {
 	       if (automorphisms == 0)
 	          Fprintf(stdout, "Netlists match uniquely");