Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature/add validate traj exec param #883
This addresses #840.
rhaschke left a comment
I'm not at all convinced that this addition is useful. However, if accepted by other maintainers, I request some changes as indicated in inline comments.
To emphasize the necessity of this PR, you should provide a unittest illustrating your usecase.