Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Domain validation fix #233

Closed
wants to merge 2 commits into from
Closed

Domain validation fix #233

wants to merge 2 commits into from

Conversation

devis12
Copy link

@devis12 devis12 commented Jul 20, 2022

With problem void, planner should return empty string not containing errors if the domain file is valid and cannot contain "Solution found"as it was check before

Edit: close issue #232 when accepted

With problem void, planner should return empty string not containing errors if the domain file is valid and cannot contain "Solution found"as it was check before

return result.find("Solution Found") != result.npos;
return result.find("error") == result.npos;//no "error" string in output from the planner -> domain valid
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this will not pass cpplint because spaces around //are needed (2 before and 1 after, I think), and also the line seems too long (is it <= 100). Please check it by running colcon test

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I opened another MR for this same issue before realizing that this MR already existed. ... Sorry about that. My solution is a little different from this one, but essentially the same.

I'll leave my MR open in case you want to take a look. Feel free to decline, if you decide to go with this approach.

@fmrico fmrico closed this Sep 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants