This PR focuses on improving the formatting of comment strings in the DirectivesComment and related test files to ensure consistent spacing around comments.
Detailed summary
Updated the comment formatting in DirectivesComment.java to include spaces around the escaped string.
Adjusted expected output in tests to reflect the new comment format with spaces in DirectivesCommentTest.java.
Modified expected output in DirectivesInstructionTest.java to include spaces in various bytecode instruction comments.
✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}
volodya-lombrozo
commented
4 days ago 
rultor
Add extra spaces to XMIR comments. Was:
Become:
Related to #849.
PR-Codex overview
This PR focuses on improving the formatting of comment strings in the
DirectivesCommentand related test files to ensure consistent spacing around comments.Detailed summary
DirectivesComment.javato include spaces around the escaped string.DirectivesCommentTest.java.DirectivesInstructionTest.javato include spaces in various bytecode instruction comments.