Skip to content
Snippets Groups Projects
user avatar
Julien Signoles authored
[Kernel] better handling of non-existing filepaths

Closes #741

See merge request frama-c/frama-c!2441
17f278c9
History
Name Last commit Last update