Add test for fscanf

ultimate-pa · Feb 21, 2023 · cc15813 · cc15813
1 parent a316684
commit cc15813
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/trunk/examples/programs/regression/c/fscanf.c b/trunk/examples/programs/regression/c/fscanf.c
@@ -0,0 +1,12 @@
+//#Unsafe
+/*
+  Author: Frank Schüssele ([email protected])
+  Date: 2023-02-21
+*/
+#include <stdio.h>
+
+int main() {
+  int x;
+  int r = scanf("%d", &x);
+  //@ assert r == 1 || x == 0;
+}