tests/syntax/oracle/ghost_multiline_annot.1.res.oracle · e71bd08304f4eec5f834a25dc3091173214cdac2 · pub / frama-c · GitLab

Snippets Groups Projects

1 year ago
21466b38
[lexer] use currentLoc instead of directly lexbuf; · 21466b38
Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
```
Also, give a better localization of unfinished `/@ ... @/`
annotations in ghost code.
```
21466b38

History
[lexer] use currentLoc instead of directly lexbuf;
Virgile Prevosto authored 1 year ago and Andre Maroneze committed 1 year ago
```
Also, give a better localization of unfinished `/@ ... @/`
annotations in ghost code.
```