Skip to content
New issue

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

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

Already on GitHub? # to your account

review fix: fix crashing condition in cleanComment #3382

Merged
merged 6 commits into from
Jun 1, 2020

Conversation

santos-samuel
Copy link
Contributor

PR with failing test cases.
Related with issue #3381

@monperrus monperrus changed the title [BUG] To String Error review fix: fix crashing condition in cleanComment May 28, 2020
@monperrus
Copy link
Collaborator

Thanks a lot for the failing test case.

Bug reproduced and fixed. Cleaned the test case. Pushed on your branch directly.

The cause was a mix of block and line comment:

/* block
// line comment in block comment
*/

Ready for merge.

@monperrus
Copy link
Collaborator

@nharrand ready for merge!

@nharrand
Copy link
Collaborator

nharrand commented Jun 1, 2020

Nice one! Thanks for both the bug report and the fix!

@nharrand nharrand merged commit f0ba5ae into INRIA:master Jun 1, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants