Add vfprintf`

1 files changed, 16 insertions, 0 deletions

diff --git a/tests/test_vfprintf.c b/tests/test_vfprintf.c
new file mode 100644
index 0000000..8ccf994
--- /dev/null
+++ b/tests/test_vfprintf.c
@@ -0,0 +1,16 @@
+#include "common.h"
+
+#include <stdarg.h>
+#include <stdio.h>
+
+void wrap(char *format, ...) {
+  va_list args;
+  va_start(args, format);
+  vfprintf(stdout, format, args);
+  va_end(args);
+}
+
+
+int main(int argc, char** argv) {
+  wrap("%s", "1234567");
+}