tests/syntax/foo".c · dde15bba8ac86ce4d557a0652214dff0aa24a611 · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
dde15bba
[tests] ptests more robust wrt filenames + check frama-c behavior on foo".c · dde15bba
Virgile Prevosto authored 5 years ago
```
Especially the pre-processing command-line with `-D__FC_FILE_ASSERT`
in presence of such filename.
```
dde15bba

History
[tests] ptests more robust wrt filenames + check frama-c behavior on foo".c
Virgile Prevosto authored 5 years ago
```
Especially the pre-processing command-line with `-D__FC_FILE_ASSERT`
in presence of such filename.
```