Skip to content
Snippets Groups Projects
user avatar
Valentin Perrelle authored
[Libc] add specs for chdir/chroot

See merge request frama-c/frama-c!2275
59326442
History