frama_Clang_option.ml · 189169af33f57707d68c132ae6b184803a7cd263 · Stefan Gränitz / Frama Clang · GitLab

Snippets Groups Projects

Forked from pub / Frama Clang

3 years ago
4ad4ef84
[options] better option for having reparseable code · 4ad4ef84
Virgile Prevosto authored 3 years ago
```
hide -kernel-msg-key behind a proper FCLang option
```
4ad4ef84

History
[options] better option for having reparseable code
Virgile Prevosto authored 3 years ago
```
hide -kernel-msg-key behind a proper FCLang option
```