-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
sys_file_h.c 190 B
#include <fcntl.h>
#include <sys/file.h>
int main() {
int fd = open("/tmp/bla", O_APPEND);
int r = flock(fd, LOCK_SH);
r = flock(fd, LOCK_UN);
r = flock(fd, LOCK_EX);
return 0;
}