From 55314c7adf32057b2d66f6199c490136f00fc9a3 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Tue, 17 Jan 2017 11:25:06 +0100
Subject: [PATCH] Update test oracles as per changes in output
---
src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c b/src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c
index 812f9660076..4ec72b8a82d 100644
--- a/src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c
+++ b/src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c
@@ -88,8 +88,8 @@ int goto_valid(void)
a3 = 0;
__e_acsl_full_init((void *)(& r));
r = & a3;
- __e_acsl_delete_block((void *)(& a3));
__e_acsl_delete_block((void *)(& a2));
+ __e_acsl_delete_block((void *)(& a3));
goto FIRST;
__e_acsl_full_init((void *)(& p));
p = (int *)0;
@@ -313,8 +313,8 @@ int switch_valid(void)
(char *)"switch_valid",(char *)"\\valid(s)",78);
}
}
- __e_acsl_delete_block((void *)(& a2));
__e_acsl_delete_block((void *)(& a1));
+ __e_acsl_delete_block((void *)(& a2));
break;
__e_acsl_delete_block((void *)(& a2));
}
@@ -477,8 +477,8 @@ int while_valid(void)
}
}
if (! i) {
- __e_acsl_delete_block((void *)(& a2));
__e_acsl_delete_block((void *)(& a1));
+ __e_acsl_delete_block((void *)(& a2));
break;
}
__e_acsl_delete_block((void *)(& a2));
@@ -684,8 +684,8 @@ void continue_valid(void)
142);
}
}
- __e_acsl_delete_block((void *)(& a2));
__e_acsl_delete_block((void *)(& a1));
+ __e_acsl_delete_block((void *)(& a2));
continue;
__e_acsl_delete_block((void *)(& a2));
}
--
GitLab