Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
When to report a bug?
How to report a bug?
Try to isolate the bug from your application-related code. It is often possible to shrink your 1000-line failing application to a 10-line failing example. Maybe a simple mass-spring ODE will expose the same bug as did your huge ODE system.