From 6461ea99464f206d98e4c4a12e5201311f4378f0 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 29 Apr 2019 19:04:30 +0200
Subject: [PATCH] [tests] yet one more out-of-date oracle after rebasing
---
src/plugins/e-acsl/tests/gmp/oracle/gen_functions.c | 12 ++++++------
src/plugins/e-acsl/tests/gmp/oracle/gen_functions2.c | 12 ++++++------
2 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/src/plugins/e-acsl/tests/gmp/oracle/gen_functions.c b/src/plugins/e-acsl/tests/gmp/oracle/gen_functions.c
index 9dba1dbedad..1bf6931b341 100644
--- a/src/plugins/e-acsl/tests/gmp/oracle/gen_functions.c
+++ b/src/plugins/e-acsl/tests/gmp/oracle/gen_functions.c
@@ -221,6 +221,12 @@ void __gen_e_acsl_k(int x)
return;
}
+char __gen_e_acsl_h_char(int c)
+{
+ char __retres = (char)c;
+ return __retres;
+}
+
short __gen_e_acsl_h_short(int s)
{
short __retres = (short)s;
@@ -348,10 +354,4 @@ long __gen_e_acsl_f1(int x, int y)
return __retres;
}
-char __gen_e_acsl_h_char(int c)
-{
- char __retres = (char)c;
- return __retres;
-}
-
diff --git a/src/plugins/e-acsl/tests/gmp/oracle/gen_functions2.c b/src/plugins/e-acsl/tests/gmp/oracle/gen_functions2.c
index bdacabaaf9c..9989adf5ca2 100644
--- a/src/plugins/e-acsl/tests/gmp/oracle/gen_functions2.c
+++ b/src/plugins/e-acsl/tests/gmp/oracle/gen_functions2.c
@@ -266,6 +266,12 @@ void __gen_e_acsl_k(int x)
return;
}
+char __gen_e_acsl_h_char(int c)
+{
+ char __retres = (char)c;
+ return __retres;
+}
+
short __gen_e_acsl_h_short(int s)
{
short __retres = (short)s;
@@ -440,10 +446,4 @@ void __gen_e_acsl_f1(__e_acsl_mpz_t *__retres_arg, int x, int y)
return;
}
-char __gen_e_acsl_h_char(int c)
-{
- char __retres = (char)c;
- return __retres;
-}
-
--
GitLab