From 044a7ef2df322eab160b302af8879d3a46df0398 Mon Sep 17 00:00:00 2001
From: JOLIMAITRE Matthieu <matthieu@imagevo.fr>
Date: Sun, 25 Sep 2022 15:57:04 +0200
Subject: [PATCH] changed watch API to raw commands

---
 example/simple/main.c               |  2 ++
 example/simple/main_check_failing.c | 10 ++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 example/simple/main_check_failing.c

diff --git a/example/simple/main.c b/example/simple/main.c
index bfd922e..2c0586d 100644
--- a/example/simple/main.c
+++ b/example/simple/main.c
@@ -4,3 +4,5 @@ int main() {
   int a;
   printf("hello, world!! %d\n", a);
 }
+
+int hello = 35;
diff --git a/example/simple/main_check_failing.c b/example/simple/main_check_failing.c
new file mode 100644
index 0000000..725d351
--- /dev/null
+++ b/example/simple/main_check_failing.c
@@ -0,0 +1,10 @@
+#include <stdio.h>
+
+int main() {
+	int a;
+	printf("hello, world!! %d\n", a);
+}
+
+
+
+int hello = 35;
\ No newline at end of file