luke
/
netgen
mirror of https://github.com/RTimothyEdwards/netgen.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Corrected an error that prevents property errors from being 

printed in detail if a port error is also found.
This commit is contained in:
Tim Edwards 2024-10-16 09:44:48 -04:00
parent e1aa231db1
commit 4c546d1472
2 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@ -1 +1 @@
1.5.284 1.5.285

12
tcltk/tclnetgen.c
View File

@ -2522,8 +2522,16 @@ _netcmp_run(ClientData clientData,
if (automorphisms == -1) if (automorphisms == -1)
Fprintf(stdout, "Netlists do not match.\n"); Fprintf(stdout, "Netlists do not match.\n");
else if (automorphisms == -2) else if (automorphisms == -2) {
Fprintf(stdout, "Netlists match uniquely with port errors.\n"); Fprintf(stdout, "Netlists match uniquely with port");
if (PropertyErrorDetected) {
Fprintf(stdout, " and property errors.\n");
PrintPropertyResults(dolist);
}
else {
Fprintf(stdout, " errors.\n");
}
}
else { else {
if (automorphisms == 0) if (automorphisms == 0)
Fprintf(stdout, "Netlists match uniquely"); Fprintf(stdout, "Netlists match uniquely");