Using S3D 3.0.1 on Linux, when I import the attached STL, duplicate the model once so I have two instances of it and then do "Identify Non Manifold Edges", program exits, every time, 100% reliable. If I don't duplicate the model but just have one instance of it, it passes the test and doesn't crash.