known_bugs

src/plugins/e-acsl/known_bugs/README

+A comprehensive up-to-date list of known bugs is available on 
+
+                           https://bts.frama-c.com  
+
+in the category "Plug-in > E-ACSL".

src/plugins/e-acsl/known_bugs/bts1695_stdio.c

-#include <stdio.h>
-
-int main(void) {
-  int x = 2;
-  printf("x = %d\n", x);
-  return 0;
-}