-
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
enum2.c 192 B
/* run.config
DONTRUN: main test is in enum1.
*/
#define V
#include "enum.h"
int e2() {
return E2;
}
int f2() {
return F22;
}
int k2() {
return K22;
}
int i2() {
return I2;
}