-
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
extinline.res.oracle 162 B
[kernel] Parsing tests/syntax/extinline.i (no preprocessing)
/* Generated by Frama-C */
extern void f(int a, int b);
extern void f(int a, int b)
{
return;
}