luke/netgen
1
0
Fork 0
mirror of https://github.com/RTimothyEdwards/netgen.git synced 2026-08-22 05:57:36 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'master' into netgen-1.5

Browse Source
This commit is contained in:
Tim Edwards
2021-06-25 03:00:10 -04:00
parent 4fb8b59a2f 4bbc496749
commit 4dd55d5aa2
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
VERSION
+1 -1
View File
@@ -1 +1 @@
1.5.189 1.5.190
tcltk/tclnetgen.c
+4
View File
@@ -2428,6 +2428,8 @@ _netcmp_run(ClientData clientData,
else { else {
enable_interrupt(); enable_interrupt();
while (!Iterate() && !InterruptPending); while (!Iterate() && !InterruptPending);
ExhaustiveSubdivision = 1;
while (!Iterate() && !InterruptPending);
if (dolist) { if (dolist) {
result = _netcmp_verify(clientData, interp, 2, objv - 1); result = _netcmp_verify(clientData, interp, 2, objv - 1);
} }
@@ -2446,6 +2448,8 @@ _netcmp_run(ClientData clientData,
else { else {
enable_interrupt(); enable_interrupt();
while (!Iterate() && !InterruptPending); while (!Iterate() && !InterruptPending);
ExhaustiveSubdivision = 1;
while (!Iterate() && !InterruptPending);
automorphisms = VerifyMatching(); automorphisms = VerifyMatching();
if (automorphisms == -1) if (automorphisms == -1)
Fprintf(stdout, "Netlists do not match.\n"); Fprintf(stdout, "Netlists do not match.\n");