From f9cb81fa27ca6ae4fef1c22081040071d20e4413 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 30 Oct 2023 11:59:29 +0000
Subject: Assume C compiler's default standard is `-std=gnu17`

Newer compilers use `-std=gnu17` as the default when compiling C code.
Fix all the test cases that violate this behaviour or explicitly request
older standards `-std=c89` where necessary.
---
 test/ArrayOpt/test_feasible.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test/ArrayOpt')

diff --git a/test/ArrayOpt/test_feasible.c b/test/ArrayOpt/test_feasible.c
index 8e7009b4..8dc3c4e3 100644
--- a/test/ArrayOpt/test_feasible.c
+++ b/test/ArrayOpt/test_feasible.c
@@ -22,8 +22,9 @@
 // CHECK-OPT_V: KLEE: WARNING: OPT_V: successful
 // CHECK-CONST_ARR: const_arr
 
-#include <stdio.h>
 #include "klee/klee.h"
+#include <assert.h>
+#include <stdio.h>
 
 char array[5] = {0,1,0,1,0};
 
-- 
cgit 1.4.1