From 10e8d6c38d191ca3dfe78bdb7c3cc257c8237034 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 4 Aug 2014 16:01:23 +0200
Subject: [PATCH] known_bugs
---
src/plugins/e-acsl/known_bugs/README | 5 +++++
src/plugins/e-acsl/known_bugs/bts1695_stdio.c | 7 -------
2 files changed, 5 insertions(+), 7 deletions(-)
create mode 100644 src/plugins/e-acsl/known_bugs/README
delete mode 100644 src/plugins/e-acsl/known_bugs/bts1695_stdio.c
diff --git a/src/plugins/e-acsl/known_bugs/README b/src/plugins/e-acsl/known_bugs/README
new file mode 100644
index 00000000000..b47adbfd582
--- /dev/null
+++ b/src/plugins/e-acsl/known_bugs/README
@@ -0,0 +1,5 @@
+A comprehensive up-to-date list of known bugs is available on
+
+ https://bts.frama-c.com
+
+in the category "Plug-in > E-ACSL".
diff --git a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c b/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
deleted file mode 100644
index 490a1bb351d..00000000000
--- a/src/plugins/e-acsl/known_bugs/bts1695_stdio.c
+++ /dev/null
@@ -1,7 +0,0 @@
-#include <stdio.h>
-
-int main(void) {
- int x = 2;
- printf("x = %d\n", x);
- return 0;
-}
--
GitLab