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/Feature/BFSSearcherAndDFSSearcherInterleaved.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/Feature/BFSSearcherAndDFSSearcherInterleaved.c')

diff --git a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
index 88d49548..8e4859a3 100644
--- a/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
+++ b/test/Feature/BFSSearcherAndDFSSearcherInterleaved.c
@@ -13,7 +13,7 @@
 // RUN: FileCheck -input-file=%t-dfs-bfs.out %s
 
 #include "klee/klee.h"
-
+#include <stdio.h>
 int main() {
   int x, y, z;
   klee_make_symbolic(&x, sizeof(x), "x");
-- 
cgit 1.4.1