From 2ac4afb3331b4b55cf0bdacdb7118520f10f421d Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 28 Mar 2017 17:58:03 +0200
Subject: [PATCH] Fix failed test
---
src/plugins/e-acsl/tests/runtime/oracle/gen_block_valid.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/tests/runtime/oracle/gen_block_valid.c b/src/plugins/e-acsl/tests/runtime/oracle/gen_block_valid.c
index 647000e8583..919d9450061 100644
--- a/src/plugins/e-acsl/tests/runtime/oracle/gen_block_valid.c
+++ b/src/plugins/e-acsl/tests/runtime/oracle/gen_block_valid.c
@@ -101,7 +101,7 @@ int main(int argc, char **argv)
__e_acsl_initialize((void *)pmax,sizeof(char));
/*@ assert Value: mem_access: \valid(pmax); */
*pmax = (char)'L';
- int diff = (int)(pmax - pmin);
+ int diff = (int)((unsigned long)pmax - (unsigned long)pmin);
/*@ assert \valid(pmin); */
{
int __gen_e_acsl_initialized_3;
--
GitLab