Commit 8573c6ad authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:tests] update tests wrt kernel changes

parent e7d7cf90
/* Generated by Frama-C */
#include "stdio.h"
#include "stdlib.h"
void function(int a, int b, int c, int d)
void function(int a, int b) /*@ ghost (int c, int d) */
{
return;
}
......@@ -14,7 +14,7 @@ int main(void)
int x = 1;
int y = 2;
int z = 3;
function(w,x,y,z);
function(w,x) /*@ ghost (y,z) */;
__retres = 0;
return __retres;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment