Fixed accelerate regressions

Author: esteffin

regression/acceleration/array_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/array_safe2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/array_safe3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/array_safe4/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/const_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/diamond_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/diamond_safe2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/functions_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/multivar_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/nested_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/overflow_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/phases_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/simple_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/simple_safe2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/simple_safe3/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/simple_safe4/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/underapprox_safe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/underapprox_safe2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/underapprox_unsafe1/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$

regression/acceleration/underapprox_unsafe2/test.desc

@@ -1,6 +1,6 @@
 CORE
 main.c
-
+--no-unwinding-assertions
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$