-
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_times.c 111 B
#include <time.h>
#include <sys/times.h>
int main() {
struct tms t;
clock_t ck = times(&t);
return 0;
}