Labels Milestones
Back-10.1521 0.388301 0 facet normal 0.84476 -0.442038 0.301633 facet normal -0.0980186 -0.995113 -0.0119404.
- Normal -2.498262e-001 -4.371958e-001 8.639715e-001 facet normal 0.090613.
- "warning", "no_connect_dangling": "warning", "pin_not_connected": "error", "pin_not_driven": "error.