Skip to content

Comment handler to verify the diagnostic messages #38

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

Jump to bottom
Closed
robertoraggi opened this issue Nov 3, 2021 · 0 comments
Closed

Comment handler to verify the diagnostic messages #38

robertoraggi opened this issue Nov 3, 2021 · 0 comments

Comments

@robertoraggi
Copy link
Owner

No description provided.

robertoraggi added a commit that referenced this issue Nov 5, 2021
@robertoraggi
fix(parser): Validate the reported diagnostic messages
23aee78 
When `cxx-frontend` is invoked with the option `-verify` the reported
diagnostic messages are validated against the expected diagnostics
defined using comment-directives matchig the following regex:

```
  //\s*expected-(error|warning)(@[+-]?\d+)?\s*\{{.+}}"};
```

Implements #38
@robertoraggi robertoraggi mentioned this issue Nov 5, 2021
Merged
robertoraggi added a commit that referenced this issue Nov 5, 2021
@robertoraggi
fix(parser): Validate the reported diagnostic messages
ed3c583 
When `cxx-frontend` is invoked with the option `-verify` the reported
diagnostic messages are validated against the expected diagnostics
defined using comment-directives matchig the following regex:

```
  //\s*expected-(error|warning)(@[+-]?\d+)?\s*{{.+}}
```

Implements #38
robertoraggi added a commit that referenced this issue Nov 5, 2021
@robertoraggi
fix(parser): Validate the reported diagnostic messages
950f1d1 
When `cxx-frontend` is invoked with the option `-verify` the reported
diagnostic messages are validated against the expected diagnostics
defined using comment-directives matchig the following regex:

```
  //\s*expected-(error|warning)(@[+-]?\d+)?\s*{{.+}}
```

Implements #38
@robertoraggi robertoraggi mentioned this issue Aug 22, 2023
Closed
@robertoraggi robertoraggi mentioned this issue Oct 10, 2023
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
1 participant
@robertoraggi