Commit 6461ea99 authored by Julien Signoles's avatar Julien Signoles
Browse files

[tests] yet one more out-of-date oracle after rebasing

parent 6eb942ce
...@@ -221,6 +221,12 @@ void __gen_e_acsl_k(int x) ...@@ -221,6 +221,12 @@ void __gen_e_acsl_k(int x)
return; return;
} }
char __gen_e_acsl_h_char(int c)
{
char __retres = (char)c;
return __retres;
}
short __gen_e_acsl_h_short(int s) short __gen_e_acsl_h_short(int s)
{ {
short __retres = (short)s; short __retres = (short)s;
...@@ -348,10 +354,4 @@ long __gen_e_acsl_f1(int x, int y) ...@@ -348,10 +354,4 @@ long __gen_e_acsl_f1(int x, int y)
return __retres; return __retres;
} }
char __gen_e_acsl_h_char(int c)
{
char __retres = (char)c;
return __retres;
}
...@@ -266,6 +266,12 @@ void __gen_e_acsl_k(int x) ...@@ -266,6 +266,12 @@ void __gen_e_acsl_k(int x)
return; return;
} }
char __gen_e_acsl_h_char(int c)
{
char __retres = (char)c;
return __retres;
}
short __gen_e_acsl_h_short(int s) short __gen_e_acsl_h_short(int s)
{ {
short __retres = (short)s; short __retres = (short)s;
...@@ -440,10 +446,4 @@ void __gen_e_acsl_f1(__e_acsl_mpz_t *__retres_arg, int x, int y) ...@@ -440,10 +446,4 @@ void __gen_e_acsl_f1(__e_acsl_mpz_t *__retres_arg, int x, int y)
return; return;
} }
char __gen_e_acsl_h_char(int c)
{
char __retres = (char)c;
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