-
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
stdint_h.c 177 B
#include <stdint.h>
int main() {
intmax_t min = INTMAX_MIN;
intmax_t max = INTMAX_MAX;
uintmax_t umax = UINTMAX_MAX;
//@ assert min < max && max <= umax;
return 0;
}