Labels Milestones
Back0.262733 0.929938 facet normal -0.191173 0.962691 -0.191515 facet normal 1.950737e-01 9.807886e-01 0.000000e+00 vertex -9.038341e+01 1.005513e+02 7.486783e+00 vertex -9.047118e+01 1.008872e+02 6.078580e+00 vertex -9.044012e+01 1.007757e+02 6.078580e+00 vertex -9.044012e+01 1.007757e+02 7.486783e+00 facet.
- 0.260353 -0.938727 0.22585 facet normal.
- 1.2151 -2.93351 18.7502 facet.
- "no_connect_dangling": "warning", "pin_not_connected": "error", "pin_not_driven": "error", "pin_to_pin": "warning.