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

Merge branch 'master' into netgen-1.5

This commit is contained in:
Tim Edwards 2021-06-25 03:00:10 -04:00
parent 4fb8b59a2f 4bbc496749
commit c1355bee45
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
VERSION
View File

@ -1 +1 @@
1.5.189 1.5.190

4
tcltk/tclnetgen.c
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");