From 8590f3672d7bf1dbc81a6700bd39edaee3b460f4 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 15 Apr 2024 11:30:22 +0200
Subject: [PATCH] [tests] use double quotes when including Frama-C-specific
libc header
---
tests/builtins/malloc_bug_tr.c | 2 +-
tests/float/builtins.c | 2 +-
tests/float/precise_cos_sin.c | 2 +-
tests/syntax/gnu-asm-aesni.c | 2 +-
tests/value/auto_loop_unroll.c | 2 +-
tests/value/domains_function.c | 2 +-
tests/value/equality.c | 2 +-
tests/value/invalid_pointer.c | 2 +-
tests/value/logic.c | 2 +-
tests/value/multidim-relations.c | 2 +-
tests/value/numerors/numerors.c | 2 +-
tests/value/octagons.c | 2 +-
tests/value/recursion.c | 2 +-
tests/value/shift_neg.c | 2 +-
tests/value/taint.c | 2 +-
15 files changed, 15 insertions(+), 15 deletions(-)
diff --git a/tests/builtins/malloc_bug_tr.c b/tests/builtins/malloc_bug_tr.c
index 98b3d323d6d..d16ef8742cf 100644
--- a/tests/builtins/malloc_bug_tr.c
+++ b/tests/builtins/malloc_bug_tr.c
@@ -4,7 +4,7 @@
#include <stdlib.h>
#include <string.h>
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
int main(void)
{
diff --git a/tests/float/builtins.c b/tests/float/builtins.c
index 1b2d53069a3..614f78d751b 100644
--- a/tests/float/builtins.c
+++ b/tests/float/builtins.c
@@ -2,7 +2,7 @@
OPT: -eva @EVA_CONFIG@ -then -main main_log_exp
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#include "math.h"
void main(int c, char **v)
diff --git a/tests/float/precise_cos_sin.c b/tests/float/precise_cos_sin.c
index cee74467f21..f99adad364b 100644
--- a/tests/float/precise_cos_sin.c
+++ b/tests/float/precise_cos_sin.c
@@ -2,7 +2,7 @@
OPT: -eva @EVA_CONFIG@ -eva-slevel 1000 -float-normal
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#include <math.h>
diff --git a/tests/syntax/gnu-asm-aesni.c b/tests/syntax/gnu-asm-aesni.c
index 1e2b0f7f452..bf5be7b69c6 100644
--- a/tests/syntax/gnu-asm-aesni.c
+++ b/tests/syntax/gnu-asm-aesni.c
@@ -11,7 +11,7 @@
-------------------------
*/
#ifdef __FRAMAC__
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#else
volatile int nondet;
#define Frama_C_make_unknown(a, n) do { \
diff --git a/tests/value/auto_loop_unroll.c b/tests/value/auto_loop_unroll.c
index 81e4f543531..b0166be9300 100644
--- a/tests/value/auto_loop_unroll.c
+++ b/tests/value/auto_loop_unroll.c
@@ -5,7 +5,7 @@
/* Tests the automatic loop unrolling heuristic. */
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
volatile int undet;
diff --git a/tests/value/domains_function.c b/tests/value/domains_function.c
index 7102ea22c39..114ae28c94c 100644
--- a/tests/value/domains_function.c
+++ b/tests/value/domains_function.c
@@ -3,7 +3,7 @@
STDOPT: #"-eva @EVA_CONFIG@ -main test_successive_runs -eva-domains-function octagon:need_symbolic_locations,symbolic-locations:need_octagon -then -eva-domains-function symbolic-locations:need_symbolic_locations,octagon:need_octagon"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
/* Tests the -eva-domains-function option that enables a domain for the given
functions. This test uses the symbolic locations domain to store the value
diff --git a/tests/value/equality.c b/tests/value/equality.c
index b9929399353..c32f17115fd 100644
--- a/tests/value/equality.c
+++ b/tests/value/equality.c
@@ -4,7 +4,7 @@
/* Tests for the equality domain. */
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#include <math.h>
volatile int rand;
diff --git a/tests/value/invalid_pointer.c b/tests/value/invalid_pointer.c
index ba139caabda..6d6c1885470 100644
--- a/tests/value/invalid_pointer.c
+++ b/tests/value/invalid_pointer.c
@@ -3,7 +3,7 @@
STDOPT: +"-no-warn-invalid-pointer -absolute-valid-range=10-30"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#include <stdint.h>
#include <signal.h>
diff --git a/tests/value/logic.c b/tests/value/logic.c
index 36cb4c1061f..d8de93ab774 100644
--- a/tests/value/logic.c
+++ b/tests/value/logic.c
@@ -1,4 +1,4 @@
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
int t[10], u[11];
struct ts { int f1; int f2; } s1, s2, s3[10];
unsigned int x; volatile v;
diff --git a/tests/value/multidim-relations.c b/tests/value/multidim-relations.c
index 02aac67c783..3d0f661e9cf 100644
--- a/tests/value/multidim-relations.c
+++ b/tests/value/multidim-relations.c
@@ -1,7 +1,7 @@
/* run.config*
STDOPT: #"-eva-msg-key d-multidim -eva-domains multidim -eva-plevel 1 -eva-multidim-disjunctive-invariants"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
typedef struct {
char kind;
diff --git a/tests/value/numerors/numerors.c b/tests/value/numerors/numerors.c
index d62d96d1e7f..89f8b55a56b 100644
--- a/tests/value/numerors/numerors.c
+++ b/tests/value/numerors/numerors.c
@@ -5,7 +5,7 @@
/* Tests for the numerors domain, that computes absolute and relative errors
of floating-point computations. */
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
#include <math.h>
#define TRUE 1
diff --git a/tests/value/octagons.c b/tests/value/octagons.c
index a9428a90e4e..4371206cf87 100644
--- a/tests/value/octagons.c
+++ b/tests/value/octagons.c
@@ -2,7 +2,7 @@
STDOPT: +"-deterministic -eva-domains octagon -eva-octagon-through-calls -eva-msg-key=d-octagon,-d-cvalue"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
volatile int undet;
diff --git a/tests/value/recursion.c b/tests/value/recursion.c
index 3407462e9b2..74a8f7d1dfb 100644
--- a/tests/value/recursion.c
+++ b/tests/value/recursion.c
@@ -8,7 +8,7 @@
STDOPT: +"-eva-no-show-progress -eva-unroll-recursive-calls 5 -main main_fail"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
volatile int nondet;
diff --git a/tests/value/shift_neg.c b/tests/value/shift_neg.c
index 520678af7f3..102696692b6 100644
--- a/tests/value/shift_neg.c
+++ b/tests/value/shift_neg.c
@@ -6,7 +6,7 @@
/* The first run emits alarms on left shifts on negative values;
the second run emits alarms on right shifts on negative values. */
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
volatile int rand;
diff --git a/tests/value/taint.c b/tests/value/taint.c
index 81d2c2bb67b..c47c43d9b93 100644
--- a/tests/value/taint.c
+++ b/tests/value/taint.c
@@ -2,7 +2,7 @@
STDOPT: +" -eva-domains taint -eva-msg-key=d-taint,-d-cvalue -eva-auto-loop-unroll 10"
*/
-#include <__fc_builtin.h>
+#include "__fc_builtin.h"
volatile int undet;
int tainted;
--
GitLab