Merge branch 'fix/libc/fd-set-size' into 'master'
[libc] change internal representation of fd_set_t See merge request frama-c/frama-c!1884
Loading
Please register or sign in to comment
[libc] change internal representation of fd_set_t See merge request frama-c/frama-c!1884