From 2cc1ce4628a422481dafa10c681e346b16eaec9b Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Fri, 14 Mar 2014 17:28:55 +0100
Subject: [PATCH] adding way to reproduce easily bug #1695
---
src/plugins/e-acsl/known_bugs/bts1695_stdio.c | 7 +++++++
1 file changed, 7 insertions(+)
create mode 100644 src/plugins/e-acsl/known_bugs/bts1695_stdio.c
diff --git a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
new file mode 100644
index 00000000000..490a1bb351d
--- /dev/null
+++ b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
@@ -0,0 +1,7 @@
+#include <stdio.h>
+
+int main(void) {
+ int x = 2;
+ printf("x = %d\n", x);
+ return 0;
+}
--
GitLab