mirror of
https://github.com/RTimothyEdwards/netgen.git
synced 2026-08-28 17:05:45 +02:00
port and an internal node which can be missed when pin permutations are present. Previously, that could produce a situation where netgen would report a "port error" but otherwise list all ports as matching. Because the permutation handling makes this hard to detect while generating pin correspondence output, the non-matching pins are listed separately at the end, and only if no mismatch was detected during output.
2 lines
8 B
Plaintext
2 lines
8 B
Plaintext
1.5.300
|