Bugfix: Region#edges wasn't working properly in deep mode with properties - edges are not separated according to polygon properties

2026-08-29 01:14:35 +02:00 · 2026-07-20 01:09:47 +02:00
parent 5060d0fcdb
commit 93c43d049a
6 changed files with 34 additions and 7 deletions
@@ -0,0 +1,14 @@
+source $drc_test_source
+target $drc_test_target
+
+if $drc_test_deep
+  deep
+end
+
+deep
+
+l1 = input(1, 0, enable_props)
+l1.output(1, 0)
+
+l1.edges.output(100, 0)
+